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
Simulation Debugging and Visualization in the Mobius Modeling Framework Read more about Simulation Debugging and Visualization in the Mobius Modeling Framework
Modeling and Anaylysis of Stepping Stone Attacks Read more about Modeling and Anaylysis of Stepping Stone Attacks
A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA Read more about A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA