|
SensA
1.0
Sensibility Analysis on Java bytecode tool
|
explain the way Sensa behaves when MaxTrial is reached
explain the way random value generation behaves (¡°what¡± instead of ¡°how¡±)
define the situation that SensA will give up getting a different value under Random Strategy
create a table that shows how random strategy works on each data type
create a table that shows how Incremental strategy works on each data type
create a table that shows how Observed strategy works on each data type
define the situation that SensA will give up getting a different value under Incremental Strategy
define the situation that SensA will give up getting a different value under Observed Strategy
finish the libs requirements of SensA (Should we just provide these libs as a download package for users convenience?)
finish the overall process of sensa, including: (1) how to prepare subjects (if only ) (2) how to find a specific change location(and its id) (3) how to use the change location's id instrument the java bytecode (4) how to use the instrumented codes run How to use SensA Run (5) how to examine the results (6) (Optional) how to check the correctness of every step
1.8.2
