Team for Research in
Ubiquitous Secure Technology

Citation
Dawson Engler, Daniel Dunbar. "Under-constrained execution: making automatic code destruction easy and scalable". International Symposium on Software Testing and Analysis (ISSTA), 2007, 2007.

Abstract
(No abstract.)

Electronic downloads

• HTML

  Dawson Engler, Daniel Dunbar. <a
  href="http://www.truststc.org/pubs/390.html"
  >Under-constrained execution: making automatic code
  destruction easy and scalable</a>,
  <i>International Symposium on Software Testing and
  Analysis (ISSTA), 2007</i>,  2007.

• Plain text

  Dawson Engler, Daniel Dunbar. "Under-constrained
  execution: making automatic code destruction easy and
  scalable". <i>International Symposium on Software
  Testing and Analysis (ISSTA), 2007</i>,  2007.

• BibTeX

  @article{EnglerDunbar07_UnderconstrainedExecutionMakingAutomaticCodeDestruction,
      author = {Dawson Engler and Daniel Dunbar},
      title = {Under-constrained execution: making automatic code
                destruction easy and scalable},
      journal = {International Symposium on Software Testing and
                Analysis (ISSTA), 2007},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/390.html}
  }
  

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