Team for Research in
Ubiquitous Secure Technology

Citation
Cristian Cadar, Dawson Engler, Peter Boonstoppel. "Attacking Path Explosion in Constraint-Based Test Generation". ETAPS Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008) Budapest, Hungary, March-April 2008, 2008.

Abstract
(No abstract.)

Electronic downloads

• HTML

  Cristian Cadar, Dawson Engler, Peter Boonstoppel. <a
  href="http://www.truststc.org/pubs/389.html"
  >Attacking Path Explosion in Constraint-Based Test
  Generation</a>, ETAPS Conference on Tools and
  Algorithms for the Construction and Analysis of Systems
  (TACAS 2008) Budapest, Hungary, March-April 2008, 2008.

• Plain text

  Cristian Cadar, Dawson Engler, Peter Boonstoppel.
  "Attacking Path Explosion in Constraint-Based Test
  Generation". ETAPS Conference on Tools and Algorithms
  for the Construction and Analysis of Systems (TACAS 2008)
  Budapest, Hungary, March-April 2008, 2008.

• BibTeX

  @inproceedings{CadarEnglerBoonstoppel08_AttackingPathExplosionInConstraintBasedTestGeneration,
      author = {Cristian Cadar and Dawson Engler and Peter
                Boonstoppel},
      title = {Attacking Path Explosion in Constraint-Based Test
                Generation},
      booktitle = {ETAPS Conference on Tools and Algorithms for the
                Construction and Analysis of Systems (TACAS 2008)
                Budapest, Hungary, March-April 2008},
      year = {2008},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/389.html}
  }
  

Posted by Jessica Gamble on 7 May 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.