Scott Kausler

According to our database¹, Scott Kausler authored at least 2 papers in 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

User-defined backtracking criteria for symbolic execution.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2014

Evaluation of string constraint solvers in the context of symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014