%0 Conference Paper %1 Sen:2006 %A Sen, Koushik %A Agha, Gul %B 9th International Conference on Fundamental Approaches to Software Engineering %D 2006 %E Baresi, Luciano %E Heckel, Reiko %I Springer %K Events Optimization StaticAnalysis SymbolicExecution %P 339--356 %R 10.1007/11693017_25 %T Automated Systematic Testing of Open Distributed Programs %@ 978-3-540-33094-3

@inproceedings{Sen:2006, added-at = {2017-02-08T18:35:15.000+0100}, author = {Sen, Koushik and Agha, Gul}, biburl = {https://www.bibsonomy.org/bibtex/23db4dc7b6144898da55e26bbe29810c1/gron}, booktitle = {9th International Conference on Fundamental Approaches to Software Engineering}, description = {Automated Systematic Testing of Open Distributed Programs | SpringerLink}, doi = {10.1007/11693017_25}, editor = {Baresi, Luciano and Heckel, Reiko}, interhash = {a585a355c1bc948cc7ca7db3a472e76e}, intrahash = {3db4dc7b6144898da55e26bbe29810c1}, isbn = {978-3-540-33094-3}, keywords = {Events Optimization StaticAnalysis SymbolicExecution}, pages = {339--356}, publisher = {Springer}, series = {FASE 2006}, timestamp = {2017-02-08T18:35:15.000+0100}, title = {{Automated Systematic Testing of Open Distributed Programs}}, year = 2006 }