@article{braione2015static,
  title={Static/dynamic test case generation for software upgrades via ARC-B and DeltaTest},
  author={Braione, Pietro and Denaro, Giovanni and Riganelli, Oliviero and Baluda, Mauro and Muhammad, Ali},
  journal={Validation of Evolving Software},
  pages={147--184},
  year={2015},
  publisher={Springer International Publishing}
}

{"_id":"GZ9zmmoz3mSbeA6bc","bibbaseid":"braione-denaro-riganelli-baluda-muhammad-staticdynamictestcasegenerationforsoftwareupgradesviaarcbanddeltatest-2015","author_short":["Braione, P.","Denaro, G.","Riganelli, O.","Baluda, M.","Muhammad, A."],"bibdata":{"bibtype":"article","type":"article","title":"Static/dynamic test case generation for software upgrades via ARC-B and DeltaTest","author":[{"propositions":[],"lastnames":["Braione"],"firstnames":["Pietro"],"suffixes":[]},{"propositions":[],"lastnames":["Denaro"],"firstnames":["Giovanni"],"suffixes":[]},{"propositions":[],"lastnames":["Riganelli"],"firstnames":["Oliviero"],"suffixes":[]},{"propositions":[],"lastnames":["Baluda"],"firstnames":["Mauro"],"suffixes":[]},{"propositions":[],"lastnames":["Muhammad"],"firstnames":["Ali"],"suffixes":[]}],"journal":"Validation of Evolving Software","pages":"147–184","year":"2015","publisher":"Springer International Publishing","bibtex":"@article{braione2015static,\n title={Static/dynamic test case generation for software upgrades via ARC-B and DeltaTest},\n author={Braione, Pietro and Denaro, Giovanni and Riganelli, Oliviero and Baluda, Mauro and Muhammad, Ali},\n journal={Validation of Evolving Software},\n pages={147--184},\n year={2015},\n publisher={Springer International Publishing}\n}\n\n","author_short":["Braione, P.","Denaro, G.","Riganelli, O.","Baluda, M.","Muhammad, A."],"key":"braione2015static","id":"braione2015static","bibbaseid":"braione-denaro-riganelli-baluda-muhammad-staticdynamictestcasegenerationforsoftwareupgradesviaarcbanddeltatest-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/RnAwt25djnAY6HRPZ","dataSources":["jPDax8DpaqZLsXJY4"],"keywords":[],"search_terms":["static","dynamic","test","case","generation","software","upgrades","via","arc","deltatest","braione","denaro","riganelli","baluda","muhammad"],"title":"Static/dynamic test case generation for software upgrades via ARC-B and DeltaTest","year":2015}