jMoped: A Test Environment for Java Programs
No abstract available.
Related papers
- jMoped: A Java Bytecode Checker Based on Moped TACAS 2005
- Chianti: a tool for change impact analysis of java programs OOPSLA 2004
- CLOTHO: directed test generation for weakly consistent database systems OOPSLA 2019
- Java-MOP: A Monitoring Oriented Programming Environment for Java TACAS 2005
- Testing atomicity of composed concurrent operations OOPSLA 2011
- Random testing for higher-order, stateful programs OOPSLA 2010
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts TACAS 2010
- A Uniform Transactional Execution Environment for Java ECOOP 2008