default search action
Search dblp for Publications
export results for "toc:db/books/collections/CKMS2015.bht:"
@incollection{DBLP:books/sp/15/BraioneDRBM15, author = {Pietro Braione and Giovanni Denaro and Oliviero Riganelli and Mauro Baluda and Ali Muhammad}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Static/Dynamic Test Case Generation For Software Upgrades via {ARC-B} and Deltatest}, booktitle = {Validation of Evolving Software}, pages = {147--184}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_11}, doi = {10.1007/978-3-319-10623-6\_11}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/BraioneDRBM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/ChocklerKMS15, author = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Introduction}, booktitle = {Validation of Evolving Software}, pages = {3--5}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_1}, doi = {10.1007/978-3-319-10623-6\_1}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/ChocklerKMS15a, author = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Challenges of Existing Technology}, booktitle = {Validation of Evolving Software}, pages = {7--17}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_2}, doi = {10.1007/978-3-319-10623-6\_2}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/ChocklerKMS15b, author = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Complementarities Among the Technologies Presented in the Book}, booktitle = {Validation of Evolving Software}, pages = {19--21}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_3}, doi = {10.1007/978-3-319-10623-6\_3}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/ChocklerKMS15b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/ChocklerR15, author = {Hana Chockler and Sitvanit Ruah}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Lightweight Static Analysis Check of Upgrades in {C/C++} Software}, booktitle = {Validation of Evolving Software}, pages = {25--36}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_4}, doi = {10.1007/978-3-319-10623-6\_4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/ChocklerR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/MarianiRSM15, author = {Leonardo Mariani and Oliviero Riganelli and Mauro Santoro and Ali Muhammad}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software}, booktitle = {Validation of Evolving Software}, pages = {107--121}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_9}, doi = {10.1007/978-3-319-10623-6\_9}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/MarianiRSM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/PastoreMGOW15, author = {Fabrizio Pastore and Leonardo Mariani and Alberto Goffi and Manuel Oriol and Michael Wahler}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {{RADAR:} Dynamic Analysis of Upgrades in {C/C++} Software}, booktitle = {Validation of Evolving Software}, pages = {85--105}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_8}, doi = {10.1007/978-3-319-10623-6\_8}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/PastoreMGOW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/PastoreMHFSSM15, author = {Fabrizio Pastore and Leonardo Mariani and Antti Eero Johannes Hyv{\"{a}}rinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Regression Checking of Changes in {C} Software}, booktitle = {Validation of Evolving Software}, pages = {185--207}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_12}, doi = {10.1007/978-3-319-10623-6\_12}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/PastoreMHFSSM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/RajanK15, author = {Ajitha Rajan and Daniel Kroening}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Measuring Change Impact on Program Behaviour}, booktitle = {Validation of Evolving Software}, pages = {125--145}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_10}, doi = {10.1007/978-3-319-10623-6\_10}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/RajanK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/RolliniAFHS15, author = {Simone Fulvio Rollini and Leonardo Alt and Grigory Fedyukovich and Antti Eero Johannes Hyv{\"{a}}rinen and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Optimizing Function Summaries Through Interpolation}, booktitle = {Validation of Evolving Software}, pages = {73--82}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_7}, doi = {10.1007/978-3-319-10623-6\_7}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/RolliniAFHS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/SeryFS15, author = {Ondrej Sery and Grigory Fedyukovich and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Function Summarization-Based Bounded Model Checking}, booktitle = {Validation of Evolving Software}, pages = {37--53}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_5}, doi = {10.1007/978-3-319-10623-6\_5}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/SeryFS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/15/SeryFS15a, author = {Ondrej Sery and Grigory Fedyukovich and Natasha Sharygina}, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Incremental Upgrade Checking}, booktitle = {Validation of Evolving Software}, pages = {55--72}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6\_6}, doi = {10.1007/978-3-319-10623-6\_6}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/15/SeryFS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/CKMS2015, editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani and Natasha Sharygina}, title = {Validation of Evolving Software}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-10623-6}, doi = {10.1007/978-3-319-10623-6}, isbn = {978-3-319-10622-9}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/CKMS2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.