Robert C. Aitken. An Overview of Test Synthesis Tools. IEEE Design & Test of Computers, 12(2):8-15, 1995. [doi]
@article{Aitken95:0, title = {An Overview of Test Synthesis Tools}, author = {Robert C. Aitken}, year = {1995}, doi = {10.1109/54.386000}, url = {http://doi.ieeecomputersociety.org/10.1109/54.386000}, tags = {testing, C++}, researchr = {https://researchr.org/publication/Aitken95%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Design & Test of Computers}, volume = {12}, number = {2}, pages = {8-15}, }