- 2012-08-10Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
- 2012-08-06Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- 2012-07-24Decimals of Pi: An example in verified programming about mathematics
- 2012-07-23A Calculational Framework for Parallel Programming with MapReduce
- 2012-07-18Symmetry in Combinatorial Search
- 2012-07-17Symbiotic Autonomy: Robots, Humans, and the Web
- 2012-07-05Search Based Software Engineering
- 2012-07-02Energy games and multiweighted modal automata
- 2012-06-29Structured Specification for Verification and Inference
- 2012-06-25Logic based problem solving: from theory to practice
- 2012-06-21Information Visualization and Graph Drawing
- 2012-06-13Languages in Racket
- 2012-06-12Symbolic Consistency Checking of OpenMP Parallel Programs
- 2012-06-12Patching vulnerabilities with sanitization synthesis
- 2012-06-08Applications of Context-Sensitive Program Analysis and Verification Techniques
- 2012-06-08Context-sensitive models for multi-thread programs
- 2012-05-24Trace Driven Approach for Testing and Debugging Concurrent Programs
- 2012-05-14Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems
- 2012-05-10Interaction-Based Concurrency
- 2012-05-09Controllers with Minimal Observation Power (Application to Timed Systems)