Publications tagged "otter"

Journal, Conference, and Workshop Papers

2011

Directed symbolic execution
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
In Eran Yahav, editor, The 18th International Static Analysis Symposium (SAS), volume 6887 of Lecture Notes in Computer Science, pages 95–111, Venice, Italy, September 2011. Springer Berlin / Heidelberg.
tags: analysis, otter, symbolic exec
[ bibtex | doi ]

2010

Mixing Type Checking and Symbolic Execution
Yit Phang Khoo, Bor-Yuh Evan Chang, and Jeffrey S. Foster
In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 436–447, Toronto, Canada, June 2010.
tags: analysis, otter, symbolic exec, types
[ bibtex | doi ]

Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
In Proceedings of the 32nd International Conference on Software Engineering (ICSE), pages 445–454, Cape Town, South Africa, May 2010.
tags: configs, otter, symbolic exec
[ bibtex | doi ]

Technical Reports

Directed symbolic execution
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
Technical Report CS-TR-4979, Department of Computer Science, University of Maryland, College Park, April 2011.
tags: analysis, otter, symbolic exec
[ bibtex | doi ]

Mixing Type Checking and Symbolic Execution (Extended Version)
Yit Phang Khoo, Bor-Yun Evan Chang, and Jeffrey S. Foster
Technical Report CS-TR-4954, Computer Science Department, University of Maryland, College Park, March 2010.
tags: analysis, otter, symbolic exec, types
[ bibtex | doi ]

Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
Technical Report CS-TR-4946, Computer Science Department, University of Maryland, College Park, December 2009.
tags: configs, otter
[ bibtex | doi ]

Evaluating Interaction Patterns in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
Technical Report CS-TR-4940, Computer Science Department, University of Maryland, College Park, June 2009.
tags: configs, otter
[ bibtex | doi ]