Publications

Found 8 results

2012
2010
Burnim, J., & Sen K. (2010).  DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs. 32nd International Conference on Software Engineering (ICSE'10). Abstract
2009
Burnim, J., Juvekar S., & Sen K. (2009).  WISE: Automated Test Generation for Worst-Case Complexity. Proc. 31st International Conference on Software Engineering (ICSE'09). 463-473.
Burnim, J., & Sen K. (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. Abstract
Burnim, J., Jalbert N., Sterigou C., & Sen K. (2009).  Looper: Lightweight Detection of Infinite Loops at Runtime. Proc. 24th IEEE/ACM nternational Conference on Automated Software Engineering (ASE'09).
2008
Burnim, J., & Sen K. (2008).  Heuristics for Scalable Dynamic Test Generation. 23rd IEE/ACM International Conference on Automated Software Engineering (ASE '08).