1. Amman P, Offutt J (1994) Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS ′94), Gaithersburg, MD, June–July 1994, pp 69–79
2. Basili VR, Caldiera G, Lanubile F, Shull F (1996) Studies on reading techniques. In: Proceedings of Software Engineering Workshop (SEW 1996), Greenbelt, MD, December 1996, pp 59–65
3. Bauer J, Finger A (1979) Test plan generation using formal grammars. In: Proceedings of the 4th International Conference On Software Engineering, Munich, Germany, May 1979, pp 425–432
4. Bazzichi F, Spadafora I (1982) An automatic generator for compiler testing. IEEE Trans Softw Eng 8(4):343–353 (July)
5. Beizer B (1990) Software testing techniques, 2nd edn. Van Nostrand Reinhold, Inc., New York, NY