Category: paper | Academic Notes

0%

paper Category

2020

07-25

[ISER] [FM] KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

07-19

[ISER] [FM] Model Checking for Programming Languages using VeriSoft

07-17

[ISER] [FM] Symbolic execution and program testing

07-05

Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts