OCSEGen: Open components and systems environment generator

Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013

Volumn , Issue , 2013, Pages 9-12

  Tkachuk, Oksana ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

Code generation; Static analysis; User specifications

Indexed keywords

AUTOMATED ENVIRONMENTS; CODE GENERATION; LARGE SYSTEM; POSSIBLE FUTURES; SYSTEMS ENVIRONMENT;

COMPUTER PROGRAMMING LANGUAGES; STATIC ANALYSIS;

TOOLS;

EID: 84882953186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2487568.2487572     Document Type: Conference Paper

References (9)

1. M. B. Dwyer, Robby, O. Tkachuk, and W. Visser. Analyzing interaction orderings with model checking. In ASE, pages 154-163, 2004.
2. JPF. Website. http://babelfish.arc.nasa.gov/trac/jpf.
3. O. Lhoták. Spark: A flexible points-to analysis framework for Java. Master's thesis, McGill University, December 2002.
4. OCSEGen. Website. http://code.google.com/p/envgen/.
5. S. P. Rajan, O. Tkachuk, M. R. Prasad, I. Ghosh, N. Goel, and T. Uehara. Weave: Web applications validation environment. In ICSE Companion, pages 101-111, 2009.
6. Soot. Website. http://www.sable.mcgill.ca/soot/.
7. O. Tkachuk. Domain-Specific Environment Generation for Modular Software Model Checking. PhD thesis, Kansas State University, 2008.
8. O. Tkachuk and M. B. Dwyer. Adapting side effects analysis for modular program model checking. In FSE, Sept. 2003.
9. O. Tkachuk, M. B. Dwyer, and C. S. Pǎsǎreanu. Automated environment generation for software model checking. In ASE, Oct. 2003.