1. A Conformance Testing Process for Space Applications Software Services;Ambrosio;Journal of Aerospace Computing, Information, and Communication (JACIC)/AIAA,2006
2. A survey of communication protocol testing;Lai;The Journal of Systems and Software,2002
3. ConData: a tool for automating specification-based test case generation for communication systems;Martins;Software Quality Journal,1999
4. A comparison of BDDs, BMC, and sequential SAT for model checking;Parthasarathy;Proc. of the 8th IEEE International Workshop on High-Level Design Validation and Test Workshop,2003
5. Schuele, T.; Schneider, K. (2004) Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. Proc. of the 2nd Int. Conference on Software Engineering and Formal Methods.