RWset: Attacking Path Explosion in Constraint-Based Test Generation

Boonstoppel, P., Cadar, C., & Engler, D. (2008). RWset: Attacking Path Explosion in Constraint-Based Test Generation. Lecture notes in computer science, 351–366. https://doi.org/10.1007/978-3-540-78800-3_27

Boonstoppel, Peter, et al. “RWset: Attacking Path Explosion in Constraint-Based Test Generation.” Lecture notes in computer science, 2008, pp. 351–66, https://doi.org/10.1007/978-3-540-78800-3_27.

Boonstoppel, Peter, Cristian Cadar, and Dawson Engler. 2008. “RWset: Attacking Path Explosion in Constraint-Based Test Generation.” Lecture notes in computer science: 351–66. https://doi.org/10.1007/978-3-540-78800-3_27.

Boonstoppel, P., Cadar, C. and Engler, D. (2008) ‘RWset: Attacking Path Explosion in Constraint-Based Test Generation’, Lecture notes in computer science, pp. 351–366. Available at: https://doi.org/10.1007/978-3-540-78800-3_27.

@incollection{boonstoppel2008rwset,
  title = {{RWset: Attacking Path Explosion in Constraint-Based Test Generation}},
  author = {Boonstoppel, Peter and Cadar, Cristian and Engler, Dawson},
  booktitle = {Lecture notes in computer science},
  pages = {351--366},
  year = {2008},
  doi = {10.1007/978-3-540-78800-3_27}
}