CoMA: conformance monitoring of java programs by abstract state machines (original) (raw)
Related papers
Runtime monitoring of Java programs by Abstract State Machines
2010
Java-MaC: a Run-time Assurance Tool for Java Programs
Electronic Notes in Theoretical Computer Science, 2001
Checking the Conformance of Java Classes Against Algebraic Specifications
IEEE International Conference on Formal Engineering Methods, 2006
Specification and error pattern based program monitoring
2001
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design, 2004
Checking JML specifications using an extensible software model checking framework
International Journal on Software Tools for Technology Transfer, 2006
Using Runtime Analysis to Guide Model Checking of Java Programs
2000
Runtime Assurance Based On Formal Specifications
1999
A model checker for Java bytecode, with novel applications
2017
Java memory model aware software validation
An Eclipse-based environment for conformance testing by FSMs
2011
Event-based runtime verification of java programs
ACM SIGSOFT Software Engineering Notes, 2005
Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems
14th Asia-Pacific Software Engineering Conference (APSEC'07), 2007
Jeagle: a JAVA Runtime Verification tool
Generating Properties for Runtime Monitoring from Software Specification Patterns
International Journal of Software Engineering and Knowledge Engineering, 2007
Enhancing Conformance Checking for Contract-Based Programs
Verifying temporal specifications of Java programs
Software Quality Journal
Abstracting Models from Execution Traces for Performing Formal Verification
Communications in Computer and Information Science, 2009
A local approach for temporal model checking of Java bytecode
Antonella Santone, gigliola vaglini
Journal of Computer and System Sciences, 2005
A Practical Approach to Runtime Verification of Real-Time Properties for Java Programs
Extended static checking for Java
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02, 2002
Components monitoring through formal specifications
2012
Program abstractions for behaviour validation
Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011
A runtime assertion checker for the Java Modeling Language (JML)
2002
Predictive Typestate Checking of Multithreaded Java Programs
2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
Automatic review of Abstract State Machines by meta-property verification
Methods Symposium, 2010
A tutorial on runtime verification
A generic approach of static analysis for detecting runtime errors in Java programs
Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032)
Provably Correct Runtime Monitoring
Lecture Notes in Computer Science
Java Memory Model Aware Sofware Verification
2010
Monitoring explicit information flow using Java byte-code instrumentation
2010
An Automated Approach to Specification-Based Program Inspection
2005
Automatically Detecting Inconsistencies in Program Specifications
Lecture Notes in Computer Science, 2013