AGEDIS   Downloads  
 
 

Home

News
Conference
Downloads
Newsletter
 
Partners
Background
Links
 

 
 
   
 

Downloads

All currently downloadable documents:

Title Ver. Date Author Description
Licence Agreement for non-commercial use of the AGEDIS Package42009-06-22 15:58Alan HartmanThis is the currently valid license (since 2006) for bona-fide academic and non-comercial use of the AGEDIS products only. Download this agreement, fill it in with the details of your institute, have a responsible person sign it, and fax to Holly Conklin at IBM Watson Reseach Labs +1 914 945 2460 attn: Holly Conklin. The CD-ROM will then be sent to you in the mail. Please make sure to include Full External Party Name Address City, State, Zip, Country Phone, fax, email in the covering fax to Ms. Conklin
AGEDIS Tools Paper - ISSTA 200412004-06-25 10:25Alan Hartman and Kenneth NaginTools paper to be presented at ISSTA 2004 in Boston, July 11-14 2004
Final Report - public version32004-03-31 16:10Alan HartmanThis report is the final report on the AGEDIS project which comes to a close in February 2004. The report describes our objectives, achievments and the lessons we have learned. Updated after reviewers comments
IF-2.0: a validation environment for component-based real-time systems12004-03-31 9:42M. Bozga, S. Graf and L. MounierThis paper (published in CAV'02) gives an overview of the content and available functionnalities of the IF-2.0 environment (used as an intermediate format in the AGEDIS project).
Property Oriented Test Case Generation12004-03-31 9:38J.C. Fernandez and L. Mounier and C. PachonThis papers presents an extension of test generation technique with respect to a given conformance relation (as currently implemented in TGV) to check more general properties (not necessarily true on the model).
Verification using test generation techniques32004-03-29 11:59V. Rusupaper on verification using symbolic test generation techniques published in Formal Methods Europe (FME'02), 2002.
TGV: theory, principles and algorithms12004-03-29 11:49C. Jard, T. JeronA paper on TGV published in The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002.
System Test Synthesis from UML Models of Distributed Software12004-03-29 11:46S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jézéquel, A. Le GuennecPaper on test generation from UML models (with UMLAUT and TGV) published in Forte 2002, 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Houston, Texas, November 2002.
STG: a Symbolic Test Generation tool12004-03-29 11:39D. Clarke, T. Jeron, V. Rusu, E. ZinovievaA paper on the STG tool (symbolic test generation) published in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), Volume 2280, 2002
Refinement and Concurrency in UML12004-03-28 11:50Charlie Crichton and Jim DaviesPaper at the Refinement Workshop in Copenhagen, September 2002.
Concurrency and Refinement in UML12004-03-28 11:27Jim Davies and Charlie CrichtonFinal crc version of paper that has now appeared in Formal Aspects of Computing
Using a Model-Based Test Generator to Test for Standards Conformance12004-03-26 14:38E. Farchi, A. Hartman, S. PinterPaper on GOTCHA and its use in testing for standards conformance, IBM System Journal
Software and Hardware Testing Using Combinatorial Covering Suites12004-03-26 14:31Alan HartmanSurvey paper presented at Haifa Workshop on Interdisciplinary Applications and Graph Theory, Combinatorics and Algorithms June 2002.
Problems and Algorithms for Covering Arrays12004-03-26 14:29A. Hartman, L. RaskinPaper on algorithms for pairwise covering test suites, to appear in Discrete Mathematics
A Test Execution Environment Running Abstract Tests for Distributed Software12004-03-26 14:24A. Hartman, A. Kirshin, K. NaginPaper describing the test execution engine presented at SEA 2002
Automatische modelgebaseerde testgeneratie en -uitvoering22004-03-26 14:26A. Hartman S. van ProeyenArticle in Dutch that appeared in the Dutch magazine Informatie
AGEDIS Case Studies - Model Based Testing in Industry12004-03-26 14:13I. Craggs, M. Sardis, T. HeuillardIndustrial case studies presented at the 1st European Conference on Model Driven Software Engineering in Nurembug Dec 11-12 2003
Model Driven Testing - AGEDIS Architecture Interfaces and Tools12004-03-26 14:06Alan Hartman and Kenneth NaginPaper from the keynote address at the 1st European Conference on Model Driven Software Engineering held at Nuremburg December 11-12 2003
TED User's Guide12004-03-25 16:23Andrei Kirshin
AGEDIS Modelling Language Tutorial22005-04-13 17:42Johannes Trost, Alessandra CavarraPublic release of Deliverable 9.1.1
The meaning of concurrent states in state diagrams12003-03-17 15:00Jim Davies/ Alessandra Cavarra/ Egon Borger/ Elvinia Riccobenepresentation at ACM SAC conference: brief outline of state diagram semantics work
Test Suites from Object Models12003-03-17 14:58Jim Daviespresentation at ACM SAC conference: brief overview of AGEDIS approach
Presentation of iTEE12003-01-13 14:05Hendrik RaesslerPresentation (german) of imbus test execution engine iTEE tailored for the distributed embedded software environment. This presentation was held at a general workshop "industrial software" for the EQUAL joint research project (Embedded Quality www.embedded-software.de) to an audience representing companies designing and installing embedded systems. (publicly downloadable version)
TS & TED42005-03-15 14:50Andrei KirshinTest Suite (ATS/SET) and Test Execution Directives (TED) documentation, XSD Schema, and samples.
Intermediate Language 2.0 with Test Directives Specification12002-10-28 16:57Marius Bozga, Sergey OlvovskyThe Intermediate format (tool) language specification.
A set of papers on Live Sequence Charts12002-10-02 8:25David Harel and others
Model Based Test Generation Survey52002-11-22 8:46Alan HartmanNew version of the newsletter article. This includes discussion of four new tools, Jcontract, UCBT-SALT, Ptk, and COW SUITE. Hopefully this version has hot-spots in the references which link to the relevant web-sites
Projected state machine coverage for software testing12002-05-03 11:46Galit Friedman, Alan Hartman, Ken Nagin & Tomer ShiranPaper to appear in the proceedings of ISSTA 2002. The paper describes the coverage criteria and test generation used in an IBM internal tool that is one of the ancestors of the AGEDIS tool set
The AGEDIS Software Test Technology Project32004-03-26 15:29Bernd Mattern, Klaudia Dussa-Ziegerpresented and published in “The fifth international Software Quality Week Europa” March 2002 in Brussels, Belgium.
Model-based testing of the PGM Protocol32001-08-30 14:34Alan Hartman & Ken Nagin & Yves-Marie QuemenerPaper submitted to the TestCom conference on the first case study carried out by the AGEDIS project Revised August 30
Using UML for Automated Test Generation12001-08-10 16:40Charles Crichton, Alessandra Cavarra, and Jim DaviesPaper submitted to ASE (Automated Software Engineering) conference, 2001.
AGEDIS: Language Specification12001-08-09 17:50Alessandra Cavarra and Jim DaviesA description of the AGEDIS modelling language, with both syntax (a sublanguage of UML) and semantics (in the tool language IF). First public draft.
AGEDIS: Language Specification Appendix A12001-08-09 17:47Jim DaviesAbstract syntax for AGEDIS state machine language (subset of modelling language) with grammatical constraints.
AGEDIS: Modelling Language Appendix B12001-08-09 17:44Charlie Crichton and Jim DaviesXML schema for the modelling language (initial version)
Agedis Architecture Diagram12001-03-01 8:20Alan HartmanThis is the modified AGEDIS architecture diagram. I have separated out the Test Goals from the Behavioural Model.