%0 Conference Paper %1 conf/forte/TasharofiKLLMA12 %A Tasharofi, Samira %A Karmani, Rajesh K. %A Lauterburg, Steven %A Legay, Axel %A Marinov, Darko %A Agha, Gul %B FMOODS/FORTE %D 2012 %E Giese, Holger %E Rosu, Grigore %I Springer %K %P 219-234 %T TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. %U http://dblp.uni-trier.de/db/conf/forte/forte2012.html#TasharofiKLLMA12 %V 7273 %@ 978-3-642-30792-8

@inproceedings{conf/forte/TasharofiKLLMA12, added-at = {2023-12-13T09:42:51.000+0100}, author = {Tasharofi, Samira and Karmani, Rajesh K. and Lauterburg, Steven and Legay, Axel and Marinov, Darko and Agha, Gul}, biburl = {https://www.bibsonomy.org/bibtex/2f439c3ee5057f27b1b05f990148ad35f/admin}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2012}, editor = {Giese, Holger and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-642-30793-5_14}, interhash = {d0ee92d4458ccb18441a95d1c675a616}, intrahash = {f439c3ee5057f27b1b05f990148ad35f}, isbn = {978-3-642-30792-8}, keywords = {}, pages = {219-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:42:51.000+0100}, title = {TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2012.html#TasharofiKLLMA12}, volume = 7273, year = 2012 }