%0 Book Section %1 books/sp/15/MarianiRSM15 %A Mariani, Leonardo %A Riganelli, Oliviero %A Santoro, Mauro %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 107-121 %T G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. %U http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#MarianiRSM15 %@ 978-3-319-10623-6

@incollection{books/sp/15/MarianiRSM15, added-at = {2017-05-16T00:00:00.000+0200}, author = {Mariani, Leonardo and Riganelli, Oliviero and Santoro, Mauro and Muhammad, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2bc5be04b8a95489a8e77566ae9b19b51/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_9}, interhash = {66b8bd4ce01db31da92905c6d729cdc3}, intrahash = {bc5be04b8a95489a8e77566ae9b19b51}, isbn = {978-3-319-10623-6}, keywords = {dblp}, pages = {107-121}, publisher = {Springer}, timestamp = {2019-10-22T13:20:08.000+0200}, title = {G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.}, url = {http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#MarianiRSM15}, year = 2015 }