Rolf Drechsler, Melanie Diepenbeck, Stephan Eggersglüß, Robert Wille. PASSAT 2.0: A multi-functional SAT-based testing framework. In 14th Latin American Test Workshop, LATW 2013, Cordoba, Argentina, 3-5 April, 2013. pages 1, IEEE, 2013. [doi]
@inproceedings{DrechslerDEW13,
title = {PASSAT 2.0: A multi-functional SAT-based testing framework},
author = {Rolf Drechsler and Melanie Diepenbeck and Stephan Eggersglüß and Robert Wille},
year = {2013},
doi = {10.1109/LATW.2013.6562675},
url = {http://doi.ieeecomputersociety.org/10.1109/LATW.2013.6562675},
researchr = {https://researchr.org/publication/DrechslerDEW13},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {14th Latin American Test Workshop, LATW 2013, Cordoba, Argentina, 3-5 April, 2013},
publisher = {IEEE},
}