Hansen, H.; Geldenhuys, J.
Page(s): 53-62
Digital Object Identifier 10.1109/SEFM.2008.18 Abstract
| Full Text: PDF (364 KB)
Rights and Permissions
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
Franzle, M.; Hansen, M.R.
Page(s): 63-72
Digital Object Identifier 10.1109/SEFM.2008.26 Abstract
| Full Text: PDF (381 KB)
Rights and Permissions
Flash-Efficient LTL Model Checking with Minimal Counterexamples
Edelkamp, S.; Sulewski, D.
Page(s): 73-82
Digital Object Identifier 10.1109/SEFM.2008.34 Abstract
| Full Text: PDF (386 KB)
Rights and Permissions
Algebraic View Reconciliation
Hofner, P.; Khedri, R.; Moller, B.
Page(s): 85-94
Digital Object Identifier 10.1109/SEFM.2008.36 Abstract
| Full Text: PDF (319 KB)
Rights and Permissions
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
Schaefer, I.; Poetzsch-Heffter, A.
Page(s): 95-104
Digital Object Identifier 10.1109/SEFM.2008.16 Abstract
| Full Text: PDF (452 KB)
Rights and Permissions
Extracting Conditional Confidentiality Policies
Tschantz, M.C.; Wing, J.M.
Page(s): 107-116
Digital Object Identifier 10.1109/SEFM.2008.46 Abstract
| Full Text: PDF (360 KB)
Rights and Permissions
Testing Privacy Policies Using Models
Salas, P.P.; Krishnan, P.
Page(s): 117-126
Digital Object Identifier 10.1109/SEFM.2008.7 Abstract
| Full Text: PDF (534 KB)
Rights and Permissions
Preservation of Proof Pbligations for Hybrid Verification Methods
Barthe, G.; Kunz, C.; Pichardie, D.; Samborski-Forlese, J.
Page(s): 127-136
Digital Object Identifier 10.1109/SEFM.2008.10 Abstract
| Full Text: PDF (467 KB)
Rights and Permissions
A Generalized Model-Based Test Generation Method
Bonifacio, A.L.; Moura, A.V.; da Silva Simao, A.
Page(s): 139-148
Digital Object Identifier 10.1109/SEFM.2008.17 Abstract
| Full Text: PDF (370 KB)
Rights and Permissions
Speci?cation-Based Testing for Software Product Lines
Kahsai, T.; Roggenbach, M.; Schlingloff, B.-H.
Page(s): 149-158
Digital Object Identifier 10.1109/SEFM.2008.38 Abstract
| Full Text: PDF (526 KB)
Rights and Permissions
Verification-Based Test Case Generation for Full Feasible Branch Coverage
Tagging Make Local Testing of Message-Passing Systems Feasible
Bhateja, P.; Mukund, M.
Page(s): 171-180
Digital Object Identifier 10.1109/SEFM.2008.33 Abstract
| Full Text: PDF (364 KB)
Rights and Permissions
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
Xavier, K.S.; Hanazumi, S.; de Melo, A.C.V.
Page(s): 181-190
Digital Object Identifier 10.1109/SEFM.2008.31 Abstract
| Full Text: PDF (446 KB)
Rights and Permissions
Behaviour Directed Testing of Auto-code Generators
Sampath, P.; Rajeev, A.C.; Ramesh, S.; Shashidhar, K.C.
Page(s): 191-200
Digital Object Identifier 10.1109/SEFM.2008.13 Abstract
| Full Text: PDF (394 KB)
Rights and Permissions
Extending Stream X-Machines to Specify and Test Systems with Timeouts
Merayo, M.G.; Hierons, R.M.; Nunez, M.
Page(s): 201-210
Digital Object Identifier 10.1109/SEFM.2008.15 Abstract
| Full Text: PDF (355 KB)
Rights and Permissions
Tools for CSP
Roggenbach, M.
Page(s): 213-214
Digital Object Identifier 10.1109/SEFM.2008.39 Abstract
| Full Text: PDF (237 KB)
Rights and Permissions
Cart
