JMoped: A test environment for java programs

Dejvuth Suwimonteerabuth; Felix Berger; Stefan Schwoon; Javier Esparza

doi:10.1007/978-3-540-73368-3_19

JMoped: A test environment for java programs

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza

Informatics 7 - Chair of Theoretical Computer Science

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Original language	English
Title of host publication	Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings
Publisher	Springer Verlag
Pages	164-167
Number of pages	4
ISBN (Print)	3540733671, 9783540733676
DOIs	https://doi.org/10.1007/978-3-540-73368-3_19
State	Published - 2007
Event	19th International Conference on Computer Aided Verification, CAV 2007 - Berlin, Germany Duration: 3 Jul 2007 → 7 Jul 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4590 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Computer Aided Verification, CAV 2007
Country/Territory	Germany
City	Berlin
Period	3/07/07 → 7/07/07

Access to Document

10.1007/978-3-540-73368-3_19

Cite this

Suwimonteerabuth, D., Berger, F., Schwoon, S., & Esparza, J. (2007). JMoped: A test environment for java programs. In Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings (pp. 164-167). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4590 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_19

Suwimonteerabuth, Dejvuth ; Berger, Felix ; Schwoon, Stefan et al. / JMoped : A test environment for java programs. Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, 2007. pp. 164-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0f08c6eb309340f9bdbab746e462888b,

title = "JMoped: A test environment for java programs",

author = "Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza",

year = "2007",

doi = "10.1007/978-3-540-73368-3_19",

language = "English",

isbn = "3540733671",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "164--167",

booktitle = "Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings",

note = "19th International Conference on Computer Aided Verification, CAV 2007 ; Conference date: 03-07-2007 Through 07-07-2007",

}

Suwimonteerabuth, D, Berger, F, Schwoon, S & Esparza, J 2007, JMoped: A test environment for java programs. in Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4590 LNCS, Springer Verlag, pp. 164-167, 19th International Conference on Computer Aided Verification, CAV 2007, Berlin, Germany, 3/07/07. https://doi.org/10.1007/978-3-540-73368-3_19

JMoped: A test environment for java programs. / Suwimonteerabuth, Dejvuth; Berger, Felix; Schwoon, Stefan et al.
Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, 2007. p. 164-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4590 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - JMoped

T2 - 19th International Conference on Computer Aided Verification, CAV 2007

AU - Suwimonteerabuth, Dejvuth

AU - Berger, Felix

AU - Schwoon, Stefan

AU - Esparza, Javier

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?scp=38149066667&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73368-3_19

DO - 10.1007/978-3-540-73368-3_19

M3 - Conference contribution

AN - SCOPUS:38149066667

SN - 3540733671

SN - 9783540733676

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

SP - 164

EP - 167

BT - Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings

PB - Springer Verlag

Y2 - 3 July 2007 through 7 July 2007

ER -

Suwimonteerabuth D, Berger F, Schwoon S, Esparza J. JMoped: A test environment for java programs. In Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag. 2007. p. 164-167. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-73368-3_19

JMoped: A test environment for java programs

Publication series

Conference

Access to Document

Other files and links

Cite this