Electronic Notes in Theoretical Computer Science, Volume 294

Volume 294, March 2013

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Chockler13
- ask others
Hana Chockler: Preface. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CachiaMC13
- ask others
Mark Anthony Cachia, Mark Micallef, Christian Colombo: Towards Incremental Mutation Testing. 2-11
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/0002OF13
- ask others
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi: Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. 12-23