%0 Journal Article %1 journals/ijpp/SanchezRS06 %A Sánchez, Ernesto %A Reorda, Matteo Sonza %A Squillero, Giovanni %D 2006 %J Int. J. Parallel Program. %K dblp %N 1 %P 93-109 %T Efficient Techniques for Automatic Verification-Oriented Test Set Optimization. %U http://dblp.uni-trier.de/db/journals/ijpp/ijpp34.html#SanchezRS06 %V 34

@article{journals/ijpp/SanchezRS06, added-at = {2020-04-01T00:00:00.000+0200}, author = {Sánchez, Ernesto and Reorda, Matteo Sonza and Squillero, Giovanni}, biburl = {https://www.bibsonomy.org/bibtex/28df289f5ee9b41967ab3fe82a573d4ee/dblp}, ee = {https://www.wikidata.org/entity/Q60246388}, interhash = {203f80014f9e74c1f36727be572cc768}, intrahash = {8df289f5ee9b41967ab3fe82a573d4ee}, journal = {Int. J. Parallel Program.}, keywords = {dblp}, number = 1, pages = {93-109}, timestamp = {2020-04-02T11:56:38.000+0200}, title = {Efficient Techniques for Automatic Verification-Oriented Test Set Optimization.}, url = {http://dblp.uni-trier.de/db/journals/ijpp/ijpp34.html#SanchezRS06}, volume = 34, year = 2006 }