Solving Complex Path Conditions through Heuristic Search on Induced Polytopes Read more about Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Targeted Test Input Generation Using Symbolic Concrete Backward Execution TECH REPORT Read more about Targeted Test Input Generation Using Symbolic Concrete Backward Execution TECH REPORT
Targeted Test Input Generation Using Symbolic Concrete Backward Execution 1 Read more about Targeted Test Input Generation Using Symbolic Concrete Backward Execution 1
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking Read more about Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Automated Inference of Atomic Sets for Safe Concurrent Execution Read more about Automated Inference of Atomic Sets for Safe Concurrent Execution
Parameterized Concurren Multi-Party Session Types Read more about Parameterized Concurren Multi-Party Session Types