Differences

This shows you the differences between two versions of the page.

Link to this comparison view

vv-lab:guided-model-checking-for-programs-with-polymorphism [2015/02/18 19:50] (current)
egm created
Line 1: Line 1:
 +===Abstract===
 +Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. ​ Distance estimate heuristics guide the concrete execution of the program toward a possible error location. The estimate is a lower-bound computed on a statically generated abstract model of the program that ignores all data values and only considers control flow. In this paper we describe a new distance estimate heuristic that efficiently computes a tighter lower-bound in programs with polymorphism when compared to the state of the art distance heuristic. ​ We statically generate conservative distance estimates and refine the estimates when the targets of dynamic method invocations are resolved. In our empirical analysis the state of the art approach is computationally infeasible for large programs with polymorphism while our new distance heuristic can quickly detect the errors.
  
 +===Full Paper and Presentation===
 +[http://​students.cs.byu.edu/​~egm/​pubs/​conference/​rungta-pepm09.pdf Pdf version] or access through the [http://​portal.acm.org/​citation.cfm?​id=1480945.1480950 ACM Portal]
 +
 +[http://​students.cs.byu.edu/​~egm/​pubs/​conference/​rungta-pepm09-p.pdf Conference Slides]
 +
 +===Citation===
 +
 +N. Rungta and E. G. Mercer. [[Guided model checking for programs with polymorphism]],​ ''​ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)'',​ Savannah, January 2009.
 +
 +===BibTeX===
 + ​@inproceedings{1480950,​
 +   ​author = {Neha Rungta and Eric G Mercer},
 +   title = {Guided model checking for programs with polymorphism},​
 +   ​booktitle = {PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation},​
 +   year = {2008},
 +   isbn = {978-1-60558-327-3},​
 +   pages = {21--30},
 +   ​location = {Savannah, GA, USA},
 +   doi = {http://​doi.acm.org/​10.1145/​1480945.1480950},​
 +   ​publisher = {ACM},
 +   ​address = {New York, NY, USA},
 +  }
vv-lab/guided-model-checking-for-programs-with-polymorphism.txt ยท Last modified: 2015/02/18 19:50 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0