Teaching formal methods lite via testing

Software Testing Verification and Reliability

Volumn 11, Issue 3, 2001, Pages 181-195

  Utting, Mark ^a   Reeves, Steve ^a  

^a UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

Assertions; Formal methods; Specifications; Teaching; Testing

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING; FORMAL LOGIC; INSPECTION; TEACHING;

TEACHING FORMAL METHODS;

SOFTWARE ENGINEERING;

EID: 0035446809     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.223     Document Type: Article

References (31)

1. An axiomatic basis for computer programming
2. Specifications are not (necessarily) executable
3. Towards correct executable semantics for Z
4. A toolset to support the construction and animation of formal specifications
5. The Z/EVES system
6. Inspections of formal specifications
7. Software quality, software process, and software testing
8. Data-abstraction implementation, specification, and testing
9. A tale of two paradigms: Formal methods and software testing
10. Automating formal specification-based testing
11. Automating test case generation from Z specifications with Isabelle
12. Using test oracles generated from program documentation
13. Data refinement by calculation
14. A framework for specification-based testing
15. Testing as abstraction
16. How assertions can increase test effectiveness
17. An extended static checker for Modula-3
18. A rigorous approach to formal methods
19. Lightweight formal methods