 [9-19]Pervasive Model Checking
|
2012-09-05 |
| [8-16]Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
|
2012-08-10 |
| [8-9]Modeling strategies and individual differences in learning a diagrammatic reasoning task
|
2012-08-08 |
| [8-9]User Oriented Trajectory Search for Trip Recommendation
|
2012-08-08 |
| [8-8]Bisimulations Meet PCTL Equivalences for Probabilistic Automata
|
2012-08-06 |
| [7-26]Decimals of Pi: An example in verified programming about mathematics
|
2012-07-24 |
| [7-16]Automated N-Tier System Management through Experimental Measurements
|
2012-07-13 |
| [7-3]Modularity in Design: on the Synergy of SoftwareArchitecture, Evolution and Collaboration
|
2012-06-26 |
| [6-29]Hunting Bugs in General-Purpose and High-Performance Systems
|
2012-06-26 |
| [6-15]Languages in Racket
|
2012-06-12 |
| [6-15]Patching vulnerabilities with sanitization synthesis
|
2012-06-12 |
| [6-15]Symbolic Consistency Checking of OpenMP Parallel Programs
|
2012-06-12 |
| [6-14]Applications of Context-Sensitive Program Analysis and Verification Techniques
|
2012-06-08 |
| [6-14]Context-sensitive models for multi-thread programs
|
2012-06-08 |
| [6-14]Trace Driven Approach for Testing and Debugging Concurrent Programs
|
2012-05-24 |
