Sebastian Gabmeyer, Einar Broch Johnsen
Proceedings of the 11th International Conference on Tests and Proofs
TAP, 2017.
@proceedings{TAP-2017,
doi = "10.1007/978-3-319-61467-0",
editor = "Sebastian Gabmeyer and Einar Broch Johnsen",
isbn = "['978-3-319-61466-3', '978-3-319-61467-0']",
publisher = "{Springer}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the 11th International Conference on Tests and Proofs}",
volume = 10375,
year = 2017,
}
Contents (10 items)
- TAP-2017-DamianiHL #abstraction #analysis #product line #refinement
- Abstraction Refinement for the Analysis of Software Product Lines (FD, RH, ML), pp. 3–20.
- TAP-2017-BaranyS #analysis #c #data flow #hybrid
- Hybrid Information Flow Analysis for Real-World C Code (GB, JS), pp. 23–40.
- TAP-2017-BoudhibaGGP #execution #summary #symbolic computation
- Symbolic Execution of Transition Systems with Function Summaries (IB, CG, PLG, VP), pp. 41–58.
- TAP-2017-FuchsK #enterprise #java #testing
- Unit Testing of Database-Driven Java Enterprise Edition Applications (AF, HK), pp. 59–76.
- TAP-2017-GerholdS #modelling #probability #testing
- Model-Based Testing of Probabilistic Systems with Stochastic Time (MG, MS), pp. 77–97.
- TAP-2017-IkeshitaIH #framework #reduction #testing
- Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
- TAP-2017-GogollaHDD #behaviour #ocl #uml
- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms (MG, FH, KHD, ND0), pp. 119–128.
- TAP-2017-FazekasHSB #continuation #quantifier
- Skolem Function Continuation for Quantified Boolean Formulas (KF, MJHH, MS, AB), pp. 129–138.
- TAP-2017-MaalejKJ #composition #modelling #named #testing
- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions (AJM, MK, MJ), pp. 139–151.
- TAP-2017-Reger0V #case study #challenge #experience #proving #testing #theorem proving
- Testing a Saturation-Based Theorem Prover: Experiences and Challenges (GR, MS0, AV), pp. 152–161.
