%0 Conference Paper %1 conf/models/KhalilD15 %A Khalil, Amal %A Dingel, Juergen %B MoDELS %D 2015 %E Lethbridge, Timothy %E Cabot, Jordi %E Egyed, Alexander %I IEEE %K dblp %P 14-23 %T Incremental symbolic execution of evolving state machines. %U http://dblp.uni-trier.de/db/conf/models/models2015.html#KhalilD15 %@ 978-1-4673-6908-4

@inproceedings{conf/models/KhalilD15, added-at = {2015-12-02T00:00:00.000+0100}, author = {Khalil, Amal and Dingel, Juergen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21312b934f36fa998a2531091db3aba19/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2015}, editor = {Lethbridge, Timothy and Cabot, Jordi and Egyed, Alexander}, ee = {http://dx.doi.org/10.1109/MODELS.2015.7338231}, interhash = {f282c6ecea2e1fc1b0fffaf57008b391}, intrahash = {1312b934f36fa998a2531091db3aba19}, isbn = {978-1-4673-6908-4}, keywords = {dblp}, pages = {14-23}, publisher = {IEEE}, timestamp = {2016-02-02T11:24:43.000+0100}, title = {Incremental symbolic execution of evolving state machines.}, url = {http://dblp.uni-trier.de/db/conf/models/models2015.html#KhalilD15}, year = 2015 }