Tag jml [41 articles] Export Sort

Recent papers classified by the tag jml.

Hide details

	Design by Contract with JML [My Copy] (2004) by Gary T. Leavens, Yoonsik Cheon posted to jml design_by_contract dbc da cite by cyph3r on 2009-10-15 09:51:12 as along with 1 person thiers20
	JML: A Notation for Detailed Design [My Copy] (1999) by Gary T. Leavens, Albert L. Baker, Clyde Ruby posted to jml by thiers20 on 2009-09-22 02:43:52 as
	Jass - Java with Assertions [My Copy] (2001) by Detlef Bartetzko, Atanion Gmbh, Clemens Fischer, Michael Möller, Heike Wehrheim posted to jml by thiers20 on 2009-09-22 02:18:49 as
	Guided Test Generation from CSP Models [My Copy] Theoretical Aspects of Computing - ICTAC 2008 In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008), pp. 258-273. by Sidney Nogueira, Augusto Sampaio, Alexandre Mota posted to jml by thiers20 on 2009-08-25 00:57:05 as along with 3 people and 1 group mishra_satish newdawn sidney SRG
	JML Reference Manual [My Copy] (2004) by Gary T. Leavens, Erik Poll, Curtis Clifton, et al.Yoonsik Cheon, Clyde Ruby, David Cok, Joseph Kiniry posted to jml by thiers20 on 2009-08-24 19:18:27 as
	An overview of JML tools and applications [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 7, No. 3. (1 June 2005), pp. 212-232. by Lilian Burdy, Yoonsik Cheon, David R. Cok, et al.Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, Rustan, Erik Poll posted to tools jml by thiers20 on 2009-08-24 19:12:24 as along with 2 people newdawn schuh
	A case study of specification and verification using JML in an avionics application [My Copy] In JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems (2006), pp. 107-116. by Peter Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt posted to 2006 design jml verification by lesandrop on 2009-08-07 05:43:50 as
	Design by Contract with JML [My Copy] (2003) by G. Leavens, Y. Cheon posted to 2003 contract design jml specification by lesandrop on 2009-07-24 01:45:02 as along with 4 people and 2 groups dsilva sjgaller pdagarwal msakai Context-driven-testers Desgin-by-Contract
	JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP [My Copy] Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 3440/2005 (2005), pp. 551-556. by Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting posted to formal jml testing by newdawn on 2009-02-05 09:24:16 as along with 3 people and 2 groups bulwahn thiers20 sjgaller Context-driven-testers Desgin-by-Contract
	A JML Compiler Based on AspectJ [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 541-544. by H. Rebelo, R. Lima, M. Cornelio, S. Soares posted to aspectj jml softnet testing by sjgaller on 2008-08-13 09:33:42 as
	JML reference manual [My Copy] (2002) by G. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby posted to jml softnet specification by sjgaller on 2008-04-30 14:59:44 as
	Preliminary design of JML: a behavioral interface specification language for java [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 1-38. by Gary T. Leavens, Albert L. Baker, Clyde Ruby posted to java jml softnet specification testing by sjgaller on 2008-04-30 14:57:51 as along with 1 person leonardo
	A specification-based fitness function for evolutionary testing of object-oriented programs [My Copy] In GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation (2006), pp. 1953-1954. by Yoonsik Cheon, Myoung Kim posted to automatic java jml softnet testing unit-test by sjgaller on 2008-04-30 14:45:27 as
	Checking JML specifications using an extensible software model checking framework [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 3. (17 June 2006), pp. 280-299. by Robby, Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff posted to bogor java jml model_checking software by bfraser on 2008-03-07 23:45:19 as
	Model-driven development of reactive information systems: from graph transformation rules to JML contracts [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 9, No. 2. (March 2007), pp. 193-207. by Reiko Heckel, Marc Lohmann posted to 2007 graph_transformation jml mdd rules statecharts by leonardo on 2007-10-18 23:56:13 as
	JAG : J ML A nnotation G eneration for Verifying Temporal Properties [My Copy] Fundamental Approaches to Software Engineering (2006), pp. 373-376. by Alain Giorgetti, Julien Groslambert posted to temporal-logic specification-generation specification softnet jml java by sjgaller to the group Desgin-by-Contract on 2007-09-11 07:17:02 as along with 1 group Context-driven-testers
	Measuring a Java Test Suite Coverage Using JML Specifications [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 21-32. by F. Dadeau, Y. Ledru, L. du Bousquet posted to code-coverage java jml softnet by sjgaller on 2007-08-30 07:55:11 as along with 2 groups Context-driven-testers Desgin-by-Contract
	How the design of JML accommodates both runtime assertion checking and formal verification [My Copy] (2003) by G. Leavens, Y. Cheon, C. Clifton, C. Ruby, D. Cok posted to jml rac by pdagarwal on 2007-08-23 02:38:36 as
	Extending JML with Temporal Logic [My Copy] by Kerry Trentelman posted to jml logic temporal by pdagarwal on 2007-08-23 02:27:25 as
	Specifying and checking method call sequences of Java programs [My Copy] Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25. by Cheon Yoonsik, Perumandla Ashaveena posted to softnet jml by sjgaller to the group Context-driven-testers on 2007-07-12 16:43:31 as along with 1 group Desgin-by-Contract
	Filtering TOBIAS Combinatorial Test Suites [My Copy] Fundamental Approaches to Software Engineering In Fundamental Approaches to Software Engineering, Vol. 2984/2004 (1 March 2004), pp. 281-294. by Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron posted to vdm tools testing softnet jml by sjgaller to the group Desgin-by-Contract on 2007-07-11 16:06:31 as along with 1 person and 1 group newdawn Context-driven-testers
	A case study in JML-based software validation [My Copy] Automated Software Engineering, 2004. Proceedings. 19th International Conference on (2004), pp. 294-297. by L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J. L. Lanet posted to softnet jml case-study by sjgaller to the group Desgin-by-Contract on 2007-06-27 15:51:50 as along with 1 group Context-driven-testers
	The KeY Tool [My Copy] Software and Systems Modeling (April 2004), pp. 32-54. by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, et al.Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt posted to verification tools softnet key jml java by sjgaller to the group Desgin-by-Contract on 2007-06-27 14:04:23 as along with 1 group Context-driven-testers
	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way [My Copy] In Proceedings of the European Conference on Object-Oriented Programming, No. 01--12. (10-14 June 2002) by Yoonsik Cheon, Gary T. Leavens posted to test-case-generation softnet jml java by sjgaller to the group Context-driven-testers on 2007-06-05 13:48:35 as along with 1 person and 1 group statistic01 Desgin-by-Contract
	Korat: Automated testing based on Java predicates [My Copy] In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 22--24, 2002 (2002), pp. 123-133. by C. Boyapati, S. Khurshid, D. Marinov posted to java jml softnet test-case-generation by sjgaller on 2007-06-05 09:18:10 as along with 2 people and 3 groups joaoarthurbm newdawn software testing Context-driven-testers Desgin-by-Contract
	The Krakatoa Tool for Certification of Java/JavaCard Programs Annotated in JML [My Copy] Journal of Logic and Algebraic Programming, Vol. 58, No. 1-2. (2004), pp. 89-106. by C. Marche, Paulin C. Mohring, X. Urbain posted to java jml softnet by sjgaller on 2007-06-05 08:15:13 as along with 2 groups Context-driven-testers Desgin-by-Contract
	The LOOP Compiler for Java and JML [My Copy] Lecture Notes in Computer Science, Vol. 2031 (2001) by Joachim van den Berg, Bart Jacobs posted to softnet jml java compiler by sjgaller to the group Context-driven-testers on 2007-06-05 08:09:51 as along with 1 person and 1 group pdagarwal Desgin-by-Contract
	A Logic for the Java Modeling Language JML [My Copy] Lecture Notes in Computer Science, Vol. 2029 (2001) by Bart Jacobs, Erik Poll posted to softnet logic jml java by sjgaller to the group Context-driven-testers on 2007-06-05 08:08:15 as along with 1 group Desgin-by-Contract
	A Case Study in Class Library Verification: Java's Vector Class [My Copy] In Object-Oriented Technology: ECOOP'99 Workshop Reader, Vol. 1743 (1999), pp. 109-110. by Marieke Huisman, Bart Jacobs, Joachim van den Berg edited by A. Moreira, D. Demeyer posted to softnet jml java design-by-contract case-study by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:38:23 as along with 1 group Context-driven-testers
	Extending JML Specifications with Temporal Logic [My Copy] In Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France., Vol. 2422/2002 (September 2002), 334. by K. Trentelman, M. Huisman posted to temporal-logic softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:25:21 as along with 1 person and 1 group pdagarwal Desgin-by-Contract
	Desugaring JML Method Specifications [My Copy] No. 00-03a. (2000) by Arun D. Raghavan, Gary T. Leavens posted to softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:23:05 as along with 1 person and 1 group pdagarwal Desgin-by-Contract
	An overview of JML tools and applications [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 3. (June 2005), pp. 212-232. by L. Burdy, Y. Cheon, D. Cok, et al.M. Ernst, J. Kiniry, G. Leavens, K. Leino, E. Poll posted to tools softnet overview jml applications by sjgaller to the group Desgin-by-Contract on 2007-05-01 15:23:40 as along with 1 group Context-driven-testers
	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 [My Copy] Lecture Notes in Computer Science : Formal Methods for Components and Objects (2006), pp. 342-363. by Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll posted to jml specification verification by schuh on 2006-10-16 12:08:05 as
	Weakest Precondition Reasoning for Java Programs with JML Annotations [My Copy] by Bart Jacobs posted to jml by amorkan on 2006-05-15 17:33:15 as
	Simplify: A theorem prover for program checking [My Copy] (2003) by D. Detlefs, G. Nelson, J. Saxe posted to jml by rgrig to the group SRG_at_UCD on 2005-12-15 08:30:44 as
	A runtime assertion checker for the Java Modeling Language [My Copy] (2002) by Y. Cheon, G. Leavens posted to jml by rgrig on 2005-12-15 08:27:24 as along with 1 person and 1 group pdagarwal SRG_at_UCD
	An overview of JML tools and applications [My Copy] (2003) by L. Burdy, Y. Cheon, D. Cok, et al.M. Ernst, J. Kiniry, G. Leavens, K. Leino, E. Poll posted to jml by rgrig on 2005-12-15 08:11:03 as along with 1 person and 1 group pdagarwal SRG_at_UCD
	Modular Specification of Frame Properties in JML [My Copy] by Peter Müller, Arnd P. Heffter, Gary T. Leavens posted to jml by amorkan on 2005-11-29 15:29:17 as
	Extended static checking for Java [My Copy] (2002) by C. Flanagan, K. Leino, M. Lillibridge, C. Nelson, J. Saxe, R. Stata posted to jml by amorkan on 2005-11-22 11:55:18 as along with 3 people and 2 groups fvogels sjgaller srccheck Context-driven-testers Desgin-by-Contract
	ESC/Java2: Uniting ESC/Java and JML [My Copy] by David R. Cok, Joseph R. Kiniry posted to jml by amorkan on 2005-11-14 15:11:58 as
	Experiences evaluating the effectiveness of JML-JUnit testing [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 5. (September 2004), pp. 1-4. by Roy P. Tan, Stephen H. Edwards posted to jml by amorkan on 2005-11-14 11:38:16 as along with 1 person stedwar2

Note: You may cite this page as: http://www.citeulike.org/tag/jml

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

softnet	53
java	36
design-by-contract	12
testing	8
specification	7
tools	7
case-study	6
overview	6
temporal-logic	6
test-case-generation	6
verification	5
logic	4
code-coverage	3
compiler	3
key	3
specification-generation	3
tool	3
vdm	3
2006	2
applications	2
aspectj	2
cite	2
da	2
dbc	2
design	2
design_by_contract	2
formal	2
2003	1
2007	1
application	1
automatic	1
bogor	1
contract	1
graph_transformation	1
mdd	1
model_checking	1
rac	1
rules	1
software	1
statecharts	1
temporal	1
unit-test	1

Tag jml [41 articles] Export Sort

Related Tags