>> Google Books

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

フォーマット:
電子ブック
責任表示:
edited by Jasmin Christian Blanchette, Nikolai Kosmatov
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
XIX, 209 p. 57 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9154
目次情報:
Abstracts of Invited Talks
Testing, Fixing and Proving with Contracts
Mind the Gap: At the Crossroads of Design, Implementation and Foundations
Reasoning about C Concurrency and Compilers
Accepted Papers
Scalable incremental test-case generation from large behavior models
Test Case Generation for Concurrent Systems Using Event Structures
Fast Model-Based Fault Localisation with Test Suites
Case Study: Automatic test case generation for a secure cache Implementation
Verifying Code Generation Tools for the B-Method Using Tests: a Case Study
Software Validation via Model Animation
Sequential generation of structured arrays and its deductive verification
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study
A constraint optimization model for analysis of telecommunication protocol logs
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
Testing Functional Requirements in UML Activity Diagrams
Coverage of OCL Operation Specifications and Invariants
Abstracts of Invited Talks
Testing, Fixing and Proving with Contracts
Mind the Gap: At the Crossroads of Design, Implementation and Foundations
Reasoning about C Concurrency and Compilers
Accepted Papers
Scalable incremental test-case generation from large behavior models
続きを見る
書誌ID:
LB00386355
ISBN:
9783319212142 [3319212141]  CiNii Books  Webcat Plus  Google Books
9783319212159 [331921215X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Taentzer, Gabriele, Bordeleau, Francis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Dastani, Mehdi, Sirjani, Marjan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kolovos, Dimitris, Wimmer, Manuel, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Parisi-Presicce, Francesco, Westfechtel, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Holvoet, Tom, Viroli, Mirko, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Franke, Bjorn, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Pitts, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer