Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Tests and proofs9th International Co...
~
(1998 :)
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Tests and proofsedited by Jasmin Christian Blanchette, Nikolai Kosmatov.
Reminder of title:
9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
remainder title:
TAP 2015
other author:
Blanchette, Jasmin Christian.
corporate name:
Published:
Cham :Springer International Publishing :2015.
Description:
xx, 209 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer softwareCongresses.Testing
Online resource:
http://dx.doi.org/10.1007/978-3-319-21215-9
ISBN:
9783319212159 (electronic bk.)
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
Tests and proofs
9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /[electronic resource] :TAP 2015edited by Jasmin Christian Blanchette, Nikolai Kosmatov. - Cham :Springer International Publishing :2015. - xx, 209 p. :ill., digital ;24 cm. - Lecture notes in computer science,91540302-9743 ;. - Lecture notes in computer science ;4891..
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.
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
ISBN: 9783319212159 (electronic bk.)
Standard No.: 10.1007/978-3-319-21215-9doiSubjects--Topical Terms:
444627
Computer software
--Testing--Congresses.
LC Class. No.: QA76.76.T48
Dewey Class. No.: 005.14
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
LDR
:02930nmm a2200349 a 4500
001
472605
003
DE-He213
005
20160224170222.0
006
m d
007
cr nn 008maaau
008
160316s2015 gw s 0 eng d
020
$a
9783319212159 (electronic bk.)
020
$a
9783319212142 (paper)
024
7
$a
10.1007/978-3-319-21215-9
$2
doi
035
$a
978-3-319-21215-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.76.T48
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
005.14
$2
23
090
$a
QA76.76.T48
$b
T172 2015
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Tests and proofs
$h
[electronic resource] :
$b
9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
$c
edited by Jasmin Christian Blanchette, Nikolai Kosmatov.
246
3
$a
TAP 2015
246
3
$a
STAF 2015
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2015.
300
$a
xx, 209 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
9154
505
0
$a
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.
520
$a
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
650
0
$a
Computer software
$x
Testing
$v
Congresses.
$3
444627
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
0
$a
Software engineering
$3
253562
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Techniques.
$3
274470
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Simulation and Modeling.
$3
273719
700
1
$a
Blanchette, Jasmin Christian.
$3
727794
700
1
$a
Kosmatov, Nikolai.
$3
727795
710
2
$a
SpringerLink (Online service)
$3
273601
711
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-21215-9
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000118710
電子館藏
1圖書
電子書
EB QA76.76.T48 T172 2015
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-319-21215-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login