The Java Pathfinder Workshop 2019

Peter Aldous
Peter Aldous
Alyas Almaawi
Alyas Almaawi
Lasse Berglund
Lasse Berglund
Hayes Converse
Hayes Converse
Wei Dong
Wei Dong
William Eiers
William Eiers

Special Interest Group on Software Engineering, pp. 20-22, 2020.

Cited by: 0|Bibtex|Views36|Links
EI

Abstract:

Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and con- colic execution, compositional veri cation, parallel execution, in- cremental program a...More

Code:

Data:

Your rating :
0

 

Tags
Comments