Login / Signup
Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.
Hazem El-Gendy
Nabil El-Kadhi
Narayan C. Debnath
Published in:
ISCC (2008)
Keyphrases
</>
test suite
software testing
test suite reduction
case study
development process
hardware architectures
software engineering
open source
knowledge management
design process
test cases
life cycle
formal specification
test case generation