JMoped: A test environment for java programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4590 LNCS, Issue , 2007, Pages 164-167

  Suwimonteerabuth, Dejvuth ^a   Berger, Felix ^a   Schwoon, Stefan ^a   Esparza, Javier ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38149066667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_19     Document Type: Conference Paper

References (7)

1. jMoped: A test environment for Java programs, http://www.fmi.uni- stuttgart.de/szs/tools/moped/jmoped/
2. JUnit: Testing resources for extreme programming, http://www.junit.org/
3. Suwimonteerabuth, D., Schwoon, S., Esparza, J.: jMoped: A Java bytecode checker based on Moped (Tool paper). In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 541-545. Springer, Heidelberg (2005)
4. Eclipse: An open development platform, http://www.eclipse.org
5. Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, Technische Universität München (2002)
6. Berger, F.: A test and verification environment for Java programs. Master's thesis, University of Stuttgart (2007)
7. ParForCE Project Workshop: Performance comparison between Prolog and Java, http://www.clip.dia.fi.upm.es/Projects/ParForce/Final_review/slides/intro/ node4.html