Search the dblp DataBase

Publications of Author

1. Axel Belinfante, Lars Frantzen, Christian Schallhart
   Tools for Test Case Generation. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:391-438 [Conf]
   
2. Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
   Audition of Web Services for Testing Conformance to Open Specified Protocols. [Citation Graph (0, 0)][DBLP]
   Architecting Systems with Trustworthy Components, 2004, pp:1-25 [Conf]
   
3. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
   Test Generation Based on Symbolic Specifications. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:1-15 [Conf]
   
4. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
   A Symbolic Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:40-54 [Conf]
   
5. Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
   On-the-Fly Formal Testing of a Smart Card Applet. [Citation Graph (0, 0)][DBLP]
   SEC, 2005, pp:565-576 [Conf]
   
6. 
   Model-Based Testing of Environmental Conformance of Components. [Citation Graph (, )][DBLP]
   
   
7. 
   Model-Based Generation of Testbeds for Web Services. [Citation Graph (, )][DBLP]
   
   
8. 
   On-The-Fly Model-Based Testing of Web Services with Jambition. [Citation Graph (, )][DBLP]
   
   
9. 
   The PLASTIC Framework and Tools for Testing Service-Oriented Applications. [Citation Graph (, )][DBLP]