Testing prototypes validity to enhance code reuse
ContributorsBuchs, Didier; Diagne, Alioune; Kordon, Fabrice
Presented atLeuven (Belgium), 3-5 June 1998
Published inProceedings Ninth International Workshop on Rapid System Prototyping, p. 6-12
PublisherIEEE Comput. Soc
Publication date1998
Abstract
Keywords
- Prototypes
- Petri nets
- Software testing
- Robustness
- Electronic mail
- System recovery
- Software safety
- Formal verification
- Formal specifications
- System testing
Affiliation entities Not a UNIGE publication
Research groups
Citation (ISO format)
BUCHS, Didier, DIAGNE, Alioune, KORDON, Fabrice. Testing prototypes validity to enhance code reuse. In: Proceedings Ninth International Workshop on Rapid System Prototyping. Leuven (Belgium). [s.l.] : IEEE Comput. Soc, 1998. p. 6–12. doi: 10.1109/IWRSP.1998.676661
Main files (1)
Proceedings chapter (Published version)
Identifiers
- PID : unige:121380
- DOI : 10.1109/IWRSP.1998.676661
Commercial URLhttp://ieeexplore.ieee.org/document/676661/
ISBN978-0-8186-8479-1