poster

Enhancing conformance checking for contract-based programs

Authors:

SPLASH '14: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity

Pages 57 - 58

https://doi.org/10.1145/2660252.2660396

Published: 14 October 2014 Publication History

Get Access

Abstract

In this work we present a test-based approach for detecting and categorizing nonconformances in contract-based programs, in specific for the Java Modeling Language (JML).

References

[1]

Y. Cheon. Automated Random Testing to Detect Specification-Code Inconsistencies. In SETP, 2007.

Google Scholar

[2]

D. Cok and J. Kiniry. ESC/Java2: Uniting ESC/Java and JML -- Progress and issues in building and using ESC/Java2. In CASSIS, 2004.

Google Scholar

[3]

G. Leavens, A. Baker, and C. Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. SIGSOFT Softw. Eng. Notes, 31(3), 2006.

Google Scholar

[4]

B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.

Digital Library

Google Scholar

[5]

C. Varjao, R. Gheyi, T. Massoni, and G. Soares. JMLOK: Uma Ferramenta para Verificar Conformidade em Programas Java/JML. In CBSoft (Tools session), 2011.

Google Scholar

Index Terms

Enhancing conformance checking for contract-based programs

Recommendations

Conformance checking based on multi-perspective declarative process models

We introduce a semantics for Multi Perspective Declare (MP-Declare).We introduce an abstract syntax for MP-Declare.We provide a set of algorithms for conformance checking based on MP-DeclareThe approach has been implemented in the process mining tool ...
Hierarchical conformance checking of process models based on event logs
PETRI NETS'13: Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Process mining techniques aim to extract knowledge from event logs. Conformance checking is one of the hard problems in process mining: it aims to diagnose and quantify the mismatch between observed and modeled behavior. Precise conformance checking ...
Enhancing spark's contract checking facilities using symbolic execution
SIGAda '11: Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language

Spark, a subset of Ada for engineering safety and security-critical systems, is one of the best commercially available frameworks for formal-methods-supported development of critical software. Spark is designed for verification and includes a software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SPLASH '14: Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity

October 2014

102 pages

ISBN:9781450332088

DOI:10.1145/2660252

General Chair:
Andrew Black
Portland State University, USA

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2014

Check for updates

Author Tags

Qualifiers

Poster

Funding Sources

National Institute of Science and Technology for Software Engineering (INES)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Conference

SPLASH '14

Sponsor:

SIGPLAN

SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity

October 20 - 24, 2014

Oregon, Portland, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
87
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Conformance checking based on multi-perspective declarative process models

Hierarchical conformance checking of process models based on event logs

Enhancing spark's contract checking facilities using symbolic execution