default search action

combined dblp search
author search
venue search
publication search

ask others

Validation of Evolving Software 2015

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/CKMS2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/CKMS2015
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ChocklerKMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ChocklerKMS15
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Introduction. 3-5
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ChocklerKMS15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ChocklerKMS15a
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Challenges of Existing Technology. 7-17
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ChocklerKMS15b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ChocklerKMS15b
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. 19-21
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ChocklerR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ChocklerR15
Hana Chockler, Sitvanit Ruah:
Lightweight Static Analysis Check of Upgrades in C/C++ Software. 25-36
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/SeryFS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/SeryFS15
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Function Summarization-Based Bounded Model Checking. 37-53
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/SeryFS15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/SeryFS15a
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Incremental Upgrade Checking. 55-72
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/RolliniAFHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/RolliniAFHS15
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. 73-82
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/PastoreMGOW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/PastoreMGOW15
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler:
RADAR: Dynamic Analysis of Upgrades in C/C++ Software. 85-105
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/MarianiRSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/MarianiRSM15
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad:
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. 107-121
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/RajanK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/RajanK15
Ajitha Rajan, Daniel Kroening:
Measuring Change Impact on Program Behaviour. 125-145
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/BraioneDRBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/BraioneDRBM15
Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad:
Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. 147-184
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/PastoreMHFSSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/PastoreMHFSSM15
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Regression Checking of Changes in C Software. 185-207

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.