%0 Conference Paper %1 conf/forte/AlbertAG14 %A Albert, Elvira %A Arenas, Puri %A Gómez-Zamalloa, Miguel %B FORTE %D 2014 %E Ábrahám, Erika %E Palamidessi, Catuscia %I Springer %K dblp %P 49-65 %T Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. %U http://dblp.uni-trier.de/db/conf/forte/forte2014.html#AlbertAG14 %V 8461 %@ 978-3-662-43612-7

@inproceedings{conf/forte/AlbertAG14, added-at = {2024-02-05T00:00:00.000+0100}, author = {Albert, Elvira and Arenas, Puri and Gómez-Zamalloa, Miguel}, biburl = {https://www.bibsonomy.org/bibtex/2ff2c746e526ee4bb9f4f5517b911653b/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2014}, editor = {Ábrahám, Erika and Palamidessi, Catuscia}, ee = {https://doi.org/10.1007/978-3-662-43613-4_4}, interhash = {5215df41cccc0a2b9721a3b5625bed8c}, intrahash = {ff2c746e526ee4bb9f4f5517b911653b}, isbn = {978-3-662-43612-7}, keywords = {dblp}, pages = {49-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:04.000+0200}, title = {Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2014.html#AlbertAG14}, volume = 8461, year = 2014 }