%0 Conference Paper %1 conf/pts/SimaoPY09 %A da Silva Simão, Adenilso %A Petrenko, Alexandre %A Yevtushenko, Nina %B TestCom/FATES %D 2009 %E Núñez, Manuel %E Baker, Paul %E Merayo, Mercedes G. %I Springer %K dblp %P 129-145 %T Generating Reduced Tests for FSMs with Extra States. %U http://dblp.uni-trier.de/db/conf/pts/testcom2009.html#SimaoPY09 %V 5826 %@ 978-3-642-05030-5

@inproceedings{conf/pts/SimaoPY09, added-at = {2022-02-15T00:00:00.000+0100}, author = {da Silva Simão, Adenilso and Petrenko, Alexandre and Yevtushenko, Nina}, biburl = {https://www.bibsonomy.org/bibtex/22e89b1c735e835f310469a74ed0a7c5c/dblp}, booktitle = {TestCom/FATES}, crossref = {conf/pts/2009}, editor = {Núñez, Manuel and Baker, Paul and Merayo, Mercedes G.}, ee = {https://doi.org/10.1007/978-3-642-05031-2_9}, interhash = {396518f2e46c098884729233e86752b0}, intrahash = {2e89b1c735e835f310469a74ed0a7c5c}, isbn = {978-3-642-05030-5}, keywords = {dblp}, pages = {129-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:47:42.000+0200}, title = {Generating Reduced Tests for FSMs with Extra States.}, url = {http://dblp.uni-trier.de/db/conf/pts/testcom2009.html#SimaoPY09}, volume = 5826, year = 2009 }