Found 8 results
Separating Functional and Parallel Correctness using Nondeterministic Sequential Speciﬁcations. 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar '10).(2010).
DETERMIN: Inferring Likely Deterministic Speciﬁcations of Multithreaded Programs. 32nd International Conference on Software Engineering (ICSE'10).(2010).
WISE: Automated Test Generation for Worst-Case Complexity. Proc. 31st International Conference on Software Engineering (ICSE'09). 463-473.(2009).
Asserting and Checking Determinism for Multithreaded Programs. 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium.(2009).
Looper: Lightweight Detection of Infinite Loops at Runtime. Proc. 24th IEEE/ACM nternational Conference on Automated Software Engineering (ASE'09).(2009).
Heuristics for Scalable Dynamic Test Generation. 23rd IEE/ACM International Conference on Automated Software Engineering (ASE '08).(2008).