Integrating Statechart Components in Polyglot-Reference-Cited by-同舟云学术

Integrating Statechart Components in Polyglot

Published:2012 Issue: Volume: Page:267-272
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Balasubramanian Daniel,Păsăreanu Corina S.,Biatek Jason,Pressburger Thomas,Karsai Gabor,Lowry Michael,Whalen Michael W.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28891-3_26.pdf

Reference5 articles.

1. Java Pathfinder tool-set (2011), http://babelfish.arc.nasa.gov/trac/jpf

2. Balasubramanian, D., Pasareanu, C.S., Whalen, M.W., Karsai, G., Lowry, M.R.: Polyglot: modeling and analysis for multiple statechart formalisms. In: ISSTA (2011)

3. Dowek, G., Muñoz, C., Păsăreanu, C.: A small-step semantics of PLEXIL. Technical Report 2008-11, National Institute of Aerospace, Hampton, VA (2008)

4. Pasareanu, C.S., Mehlitz, P.C., Bushnell, D.H., Gundy-Burlet, K., Lowry, M.R., Person, S., Pape, M.: Combining unit-level symbolic execution and system-level concrete execution for testing nasa software. In: ISSTA, pp. 15–26 (2008)

5. Verma, V., Baskaran, V., Utz, H., Harris, R., Fry, C.: Demonstration of Robust Execution on a NASA Lunar Rover Testbed. In: iSAIRAS (2008)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis;Automated Software Engineering;2013-02-26

2. Polyglot: Systematic Analysis for Multiple Statechart Formalisms;Tools and Algorithms for the Construction and Analysis of Systems;2013