Formal Specification-Based Inspection for Verification of Programs.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 5, p. 1100, doi. 10.1109/TSE.2011.102
- By:
- Publication type:
- Article
Works matching AU McDermid, John A.
Results: 9
1
2
Investigating the effectiveness of object-oriented testing strategies using the mutation method<FN>A version of this paper was originally presented at Mutation 2000, a Symposium on Mutation Testing, held in San Jose, California, 6–7 October 2000. It is reproduced here in modified form with the permission of the Symposium organizers. </FN>
- Published in:
- Software Testing: Verification & Reliability, 2001, v. 11, n. 4, p. 207, doi. 10.1002/stvr.238
- By:
- Publication type:
- Article
3
Refactoring service-based systems: how to avoid trusting a workflow service.
- Published in:
- Concurrency & Computation: Practice & Experience, 2006, v. 18, n. 10, p. 1255, doi. 10.1002/cpe.997
- By:
- Publication type:
- Article
4
A large-scale disturbance mapping ensemble through data-driven regionalization.
- Published in:
- International Journal of Remote Sensing, 2023, v. 44, n. 12, p. 3700, doi. 10.1080/01431161.2023.2225711
- By:
- Publication type:
- Article
5
Software in Safety Critical Systems: Achievement and Prediction.
- Published in:
- Nuclear Future, 2006, v. 2, n. 3, p. 1
- By:
- Publication type:
- Article
6
Ethics and AI: Concepts and Relevance for Chemical Engineers.
- Published in:
- TCE: The Chemical Engineer, 2023, n. 988, p. 20
- By:
- Publication type:
- Article
7
Resilience-Aware Mixed-Criticality DAG Scheduling on Multi-cores for Autonomous Systems.
- Published in:
- Ada User Journal, 2022, v. 43, n. 2, p. 113
- By:
- Publication type:
- Article
8
Use of Modern Processors in Safety-Critical Applications.
- Published in:
- Computer Journal, 2001, v. 44, n. 6, p. 531, doi. 10.1093/comjnl/44.6.531
- By:
- Publication type:
- Article
9
THE ART AND SCIENCE OF SOFTWARE ARCHITECTURE.
- Published in:
- International Journal of Cooperative Information Systems, 2007, v. 16, n. 3/4, p. 439, doi. 10.1142/S0218843007001718
- By:
- Publication type:
- Article