%0 Book Section %1 books/sp/15/PastoreMHFSSM15 %A Pastore, Fabrizio %A Mariani, Leonardo %A Hyvärinen, Antti Eero Johannes %A Fedyukovich, Grigory %A Sharygina, Natasha %A Sehestedt, Stephan %A Muhammad, Ali %B Validation of Evolving Software %D 2015 %E Chockler, Hana %E Kroening, Daniel %E Mariani, Leonardo %E Sharygina, Natasha %I Springer %K dblp %P 185-207 %T Regression Checking of Changes in C Software. %U http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#PastoreMHFSSM15 %@ 978-3-319-10623-6

@incollection{books/sp/15/PastoreMHFSSM15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Pastore, Fabrizio and Mariani, Leonardo and Hyvärinen, Antti Eero Johannes and Fedyukovich, Grigory and Sharygina, Natasha and Sehestedt, Stephan and Muhammad, Ali}, biburl = {https://www.bibsonomy.org/bibtex/204ea4efacec746274581aa659af02339/dblp}, booktitle = {Validation of Evolving Software}, crossref = {books/sp/CKMS2015}, editor = {Chockler, Hana and Kroening, Daniel and Mariani, Leonardo and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-319-10623-6_12}, interhash = {aba11b135387b33cd923a03fc49b320a}, intrahash = {04ea4efacec746274581aa659af02339}, isbn = {978-3-319-10623-6}, keywords = {dblp}, pages = {185-207}, publisher = {Springer}, timestamp = {2024-04-10T09:10:21.000+0200}, title = {Regression Checking of Changes in C Software.}, url = {http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#PastoreMHFSSM15}, year = 2015 }