Old Web
English
Sign In
Acemap
>
Paper
>
Formal Specification Based Software Testing: An Automated Approach.
Formal Specification Based Software Testing: An Automated Approach.
2003
Mandeep Singh Gill
Rajesh Bhatia
Keywords:
Software construction
Software reliability testing
Computer architecture
Software requirements specification
Formal methods
System integration testing
Formal specification
Keyword-driven testing
Language Of Temporal Ordering Specification
Computer science
Formal verification
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
3
Citations
NaN
KQI
[]