Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
148 | Gary T. Leavens |
Invited Talk: JML framed! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 1, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
144 | Patrice Chalin |
Improving JML: For a Safer and More Effective Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 440-461, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language |
129 | Gary T. Leavens |
Tutorial on JML, the java modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 573, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
116 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert |
Checking JML Specifications with B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 434-453, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language |
114 | Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio |
Implementing Java modeling language contracts with AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 228-233, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language |
109 | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares |
A JML Compiler Based on AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 541-544, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language |
107 | Bart Jacobs 0001, Erik Poll |
A Logic for the Java Modeling Language JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 284-299, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
102 | Leo Freitas, Jim Woodcock 0001 |
Proving Theorems About JML Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 255-279, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository |
93 | Patrice Chalin, Perry R. James, George Karabotsos |
An integrated verification environment for JML: architecture and early results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 47-53, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
JML4, integrated verification environment, Eclipse, java modeling language |
93 | Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll |
An overview of JML tools and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(3), pp. 212-232, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Assertion checking, Java, Formal specification, Program verification, Design by Contract |
93 | Guoqing Xu, Zongyuang Yang |
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 70-85, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
93 | Kerry Trentelman, Marieke Huisman |
Extending JML Specifications with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 334-348, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
92 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 149-158, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
79 | Patrice Chalin, Frédéric Rioux |
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 246-261, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert |
JML2B: Checking JML Specifications with B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 285-288, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Gary T. Leavens, Albert L. Baker, Clyde Ruby |
Preliminary design of JML: a behavioral interface specification language for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(3), pp. 1-38, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Ali Hamie |
On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 411-414, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
Extending JML for Modular Specification and Verification of Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, pp. 551-576, 2005, Springer, 3-540-27992-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | David R. Cok, Joseph Kiniry |
ESC/Java2: Uniting ESC/Java and JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 108-128, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
70 | Jianjun Zhao 0001, Martin C. Rinard |
Pipa: A Behavioral Interface Specification Language for AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 150-165, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Patrice Chalin, Frédéric Rioux |
Non-null references by default in the Java modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
non-null references, reference types, contracts, JML, java modeling language |
65 | Ali Hamie |
Translating the Object Constraint Language into the Java Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1531-1535, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, constraints, reasoning, OCL, JML |
65 | Patrice Chalin, Perry R. James, George Karabotsos |
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 70-83, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
65 | Gary T. Leavens |
JML's Rich, Inherited Specifications for Behavioral Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 2-34, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard |
Automated Boundary Test Generation from JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 428-443, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
boundary values, Test generation, automated, model-based, Java Modeling Language |
65 | Guillaume Dufay, Amy P. Felty, Stan Matwin |
Privacy-Sensitive Information Flow with JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 116-130, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet |
Case Study in JML-Based Software Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 294-297, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok |
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 262-284, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
60 | Néstor Cataño, Tim Wahls |
Executing JML specifications of Java card applications: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 404-408, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
executable specifications, Java card, JML |
60 | John Lloyd, Jan Jürjens |
Security Analysis of a Biometric Authentication System Using UMLsec and JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 77-91, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UMLsec, Security analysis, biometric authentication, JML |
60 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting |
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 551-556, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
symbolic animation, object-oriented, model-based, Java Modeling Language |
56 | Catherine Oriat |
Jartege: A Tool for Random Generation of Unit Tests for Java Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA/SOQUA ![In: Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005, Proceedings, pp. 242-256, 2005, Springer, 3-540-29033-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Claude Marché, Nicolas Rousset |
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 137-146, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML |
51 | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
Filtering TOBIAS Combinatorial Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 281-294, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VDM, combinatorial testing, JML, model-based specifications |
51 | Gary T. Leavens, Joseph R. Kiniry, Erik Poll |
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 37, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(3), pp. 280-299, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz |
Propagation of JML non-null annotations in Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, PPPJ 2006, Mannheim, Germany, August 30 - September 1, 2006, pp. 135-140, 2006, ACM, 3-939352-05-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Alain Giorgetti, Julien Groslambert |
JAG: JML Annotation Generation for Verifying Temporal Properties ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 373-376, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting |
Symbolic Animation of JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 75-90, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 342-363, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Roy Patrick Tan, Stephen H. Edwards |
Experiences evaluating the effectiveness of JML-JUnit testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(5), pp. 1-4, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Frédéric Dadeau |
Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML. (Constrained Symbolic Evaluation for Validation - Application to Java/JML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
42 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
PHALANX: parallel checking of expressive heap assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 41-50, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel garbage collector, virtual machine, ownership |
42 | Ilkay Sari, Erchin Serpedin, Kyoung-Lae Noh, Qasim M. Chaudhari, Bruce W. Suter |
On the Joint Synchronization of Clock Offset and Skew in RBS-Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 56(5), pp. 700-703, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Seongwook Song, Andrew C. Singer |
Blind OFDM Channel Estimation Using FIR Constraints: Reduced Complexity and Identifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(3), pp. 1136-1147, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 215-229, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Lilian Burdy, Mariela Pavlova |
Java bytecode specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1835-1839, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand |
Safety Property Driven Test Generation from. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 225-239, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language |
42 | Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby |
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 210-228, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1890-1897, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
37 | Erik Poll |
Teaching Program Specification and Verification Using JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 92-104, 2009, Springer, 978-3-642-04911-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Marieke Huisman, Alejandro Tamalet |
A Formal Connection between Security Automata and JML Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 340-354, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Concurrent Contracts for Java in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 37-46, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 389-405, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Ben Krause, Tim Wahls |
jmle: A Tool for Executing JML Specifications Via Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers, pp. 293-296, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Gary T. Leavens, Curtis Clifton |
Lessons from the JML Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 134-143, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Yoonsik Cheon, Gary T. Leavens |
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 231-255, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Joachim van den Berg, Bart Jacobs 0001 |
The LOOP Compiler for Java and JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 299-312, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Ghaith Haddad, Faraz Hussain 0001, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 155-163, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
36 | Yoonsik Cheon, Ashaveena Perumandla |
Specifying and checking method call sequences of Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 15(1), pp. 7-25, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language |
36 | Clyde Ruby, Gary T. Leavens |
Safely creating correct subclasses without seeing superclass code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 208-228, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
downcalls, method refinement, semantic fragile subclassing problem, specification inheritance, subclassing contract, Java, Java language, subclass, JML language |
28 | Piotr Kosiuczenko |
On the Implementation of @pre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 246-261, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert |
BML and Related Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, pp. 278-297, 2008, Springer, 978-3-642-04166-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Wen Jiang 0005, Geoffrey Ye Li, Xingxing Yu |
Truncation for Low-Complexity MIMO Signal Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(4), pp. 1564-1571, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Gregor Engels, Baris Güldali, Marc Lohmann |
Towards Model-Driven Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 182-192, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visual contracts, model checking, test case generation, Design by Contract |
28 | Orhan Coskun, Keith M. Chugg |
Combined Coding and Training for Unknown ISI Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 53(8), pp. 1310-1322, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Marc Lohmann, Stefan Sauer 0001, Gregor Engels |
Executable Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 63-70, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 404-420, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Engelbert Hubbers |
Integrating Tools for Automatic Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 214-221, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Mikolás Janota, Radu Grigore, Michal Moskal |
Reachability analysis for annotated code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 23-30, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ESC/Java2, JML |
23 | Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh |
Further Lessons from the JML Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 313-349, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello |
Combining formal and machine learning techniques for the generation of JML specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 59-64, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
IntelliJML: a JML plugin for IntelliJ IDEA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 39-42, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | David R. Cok |
JML and OpenJML for Java 16. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021., pp. 65-67, 2021, ACM, 978-1-4503-8543-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich |
Modular Verification of JML Contracts Using Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 60-80, 2020, Springer, 978-3-030-61361-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens |
Automated translation of VDM to JML-annotated Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 20(2), pp. 211-235, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Ijaz Ahmed, Néstor Cataño |
Checking JML-encoded finite state machine properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACS ![In: International Conference on Advancements in Computational Sciences, ICACS 2018, Lahore, Pakistan, February 19-21, 2018, pp. 1-9, 2018, IEEE, 978-1-5386-2172-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Yuyan Bao, Gary T. Leavens |
A Methodology for Invariants, Framing, and Subtyping in JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principled Software Development ![In: Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pp. 19-39, 2018, Springer, 978-3-319-98046-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten |
Reasoning About JML: Differences Between KeY and OpenJML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 30-46, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Gladisch, Shmuel S. Tyszberowicz |
Specifying linked data structures in JML for combining formal verification and testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 107-108, pp. 19-40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Gary T. Leavens |
JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015, pp. 1, 2015, ACM, 978-1-4503-3712-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, pp. 8:1-8:6, 2015, ACM, 978-1-4503-3656-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | David R. Cok |
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014., pp. 79-92, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Ali Hamie |
Pattern-based Mapping of OCL Specifications to JML Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 193-200, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Ali Hamie |
Using Patterns to Map OCL Constraints to JML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, pp. 35-48, 2014, Springer, 978-3-319-25155-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Víctor Rivera, Néstor Cataño |
Translating event-B to JML-specified Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pp. 1264-1271, 2014, ACM, 978-1-4503-2469-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz |
Generating JML Specifications from Alloy Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 99-115, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Gary T. Leavens, Peter H. Schmitt, Jooyong Yi |
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NII Shonan Meet. Rep. ![In: NII Shonan Meet. Rep. 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Néstor Cataño, Camilo Rueda, Tim Wahls |
A Machine-Checked Proof for a Translation of Event-B Machines to JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.2339, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota 0001, César A. L. de Oliveira |
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(8), pp. 1137-1156, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima |
Client-aware checking and information hiding in interface specifications with JML/ajmlc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion Volume) ![In: SPLASH'13 - The Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, & Applications: Software for Humanity, Indianapolis, IN, USA, October 26-31, 2013, pp. 11-12, 2013, ACM, 978-1-4503-1995-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto |
Bidirectional Translation between OCL and JML for Round-Trip Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (2) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2, pp. 49-54, 2013, IEEE Computer Society, 978-1-4799-2143-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Anders P. Ravn, Hans Søndergaard |
A test suite for safety-critical Java using JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013, pp. 80-88, 2013, ACM, 978-1-4503-2166-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Gladisch, Shmuel S. Tyszberowicz |
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings, pp. 99-114, 2013, Springer, 978-3-642-41070-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu |
Translating B machines to JML specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1271-1277, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Masahiro Sakai, Kohei Maruchi, Takeo Imai |
Model-Checking C Programs against JML-like Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012, pp. 174-183, 2012, IEEE, 978-0-7695-4922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa |
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, pp. 389-394, 2012, SciTePress, 978-989-8565-11-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Frédéric Dadeau, Fabien Peureux |
Grey-Box Testing and Verification of Java/JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 298-303, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | David R. Cok |
OpenJML: JML for Java 7 by Extending OpenJDK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pp. 472-479, 2011, Springer, 978-3-642-20397-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Hermann Lehner |
A formal definition of JML in Coq and its application to runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|