![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st ICST Workshops 2008: Lillehammer, Norway
- First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. IEEE Computer Society 2008, ISBN 978-0-7695-3388-9
- César Andrés, Luis Llana
, Ismael Rodríguez
:
Formally comparing user and implementer model-based testing methods. 1-10 - Emine Gokce Aydal, Richard F. Paige, Jim Woodcock
:
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. 11-20 - Ana R. Cavalli
, Eliane Martins, Anderson Nunes Paiva Morais:
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. 21-30 - Gordon Fraser, Franz Wotawa
:
Ordering Coverage Goals in Model Checker Based Testing. 31-40 - Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Testing and Validating the Quality of Specifications. 41-52 - Laya Madani, Ioannis Parissis:
Automated Test of Interactive Applications Using Task Trees. 53-62 - Valdivino Alexandre de Santiago Jr.
, Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira:
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. 63-72 - Jordi Cabot
, Robert Clarisó
, Daniel Riera
:
Verification of UML/OCL Class Diagrams using Constraint Programming. 73-80 - Joanna Chimiak-Opoka
, Michael Felderer, Chris Lenz, Christian Lange:
Querying UML Models using OCL and Prolog: A Performance Study. 81-88 - Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel:
Using context descriptions and property definition patterns for software formal verification. 89-96 - Dimitrios S. Kolovos
, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack:
Unit Testing Model Management Operations. 97-104 - Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
:
Model transformation testing: oracle issue. 105-112 - Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill
:
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt. 113-120 - J. Christian Attiogbé:
Mastering Specification Heterogeneity with Multifacet Analysis. 121-130 - Mihai Codescu
, Till Mossakowski:
Heterogeneous colimits. 131-140 - Christophe Jacquet, Dominique Marcadet:
Checking Properties on the Control of Heterogeneous Systems. 141-150 - Olaf Muliawan, Pieter Van Gorp
, Anne Keller, Dirk Janssens:
Executing a Standard Compliant Transformation Model on a Non-standard Platform. 151-160 - Andrea Arcuri, Per Kristian Lehre
, Xin Yao
:
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem. 161-169 - Thang H. Bui, Albert Nymeyer:
The spin on guided random search in verification. 170-177 - Robert Feldt, Richard Torkar, Tony Gorschek, Wasif Afzal:
Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics. 178-186 - Kamran Ghani, John A. Clark:
Strengthening Inferred Specifications using Search Based Testing. 187-194 - Arnaud Gotlieb, Nadjib Lazaar
, Yahia Lebbah
:
Towards Constraing-Based Local Search for Automatic Test Data Generation. 195 - Mark Harman
:
Open Problems in Testability Transformation. 196-209 - Raluca Lefticaru
, Florentin Ipate:
Search-based Testing using State-based Fitness. 210 - Konstantinos Liaskos, Marc Roper:
Hybridizing Evolutionary Testing with Artificial Immune Systems and Local Search. 211-220 - Cu D. Nguyen, Anna Perini, Paolo Tonella
:
Constraint-based Evolutionary Testing of Autonomous Distributed Systems. 221-230 - Maria Prutkina, Andreas Windisch:
Evolutionary Structural Testing of Software with Pointers. 231 - Ramón Sagarna, Xin Yao
:
Handling Constraints for Search Based Software Test Data Generation. 232-240 - Christoph Schneckenburger, Franz Schweiggert:
Investigating the dimensionality problem of Adaptive Random Testing incorporating a local search technique. 241-250 - Ramón Sagarna, Xin Yao:
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams. 251 - Vianney Darmaillacq, Jean-Luc Richier, Roland Groz:
Test generation and execution for security rules in temporal logic. 252-259 - Vianney Darmaillacq:
Security policy testing using vulnerability exploit chaining. 260-261 - Kaarina Karppinen, Mikael Lindvall, Lyly Yonkwa:
Detecting Security Vulnerabilities with Software Architecture Analysis Tools. 262-268 - Wissam Mallouli, Gerardo Morales, Ana R. Cavalli
:
Testing Security Policies for Web Applications. 269-270 - Fabio Martinelli, Paolo Mori
, Thomas B. Quillinan, Christian Schaefer:
A Runtime Monitoring Environment for Mobile Java. 270-278 - Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry:
A Generic Metamodel For Security Policies Mutation. 278-286 - Inger Anne Tøndel, Martin Gilje Jaatun
, Jostein Jensen:
Learning from Software Security Testing. 286-294 - Sven Türpe
:
Security Testing: Turning Practice into Theory. 294-302 - Sven Türpe
:
When it comes to Testing, is Usability the Closest Analogy to Security? 302-304 - Wasif Afzal, Richard Torkar:
Incorporating Metrics in an Organizational Test Strategy. 304-315 - Kees Blokland:
A universal management and monitoring process for testing. 315-321 - Anne Mette Jonassen Hass:
Testing Processes. 321-327 - Ian Londesbrough:
A Test Process for all Lifecycles. 327-331 - J. H. van Moll, J. W. M. Ammerlaan:
Identifying Pitfalls of System Integration - An Exploratory Study. 331-338 - Iris Pinkster-O'Riordain:
Test Policy: Gaining Control on IT Quality and Processes. 338-342 - Mike Smith, Neil Thompson:
The Keystone to Support a Generic Test Process: Separating the "What" from the "How". 342-353 - Sven Bünte, Michael Tautschnig:
A Benchmarking Suite for Measurement-Based WCET Analysis Tools. 353-356 - George Din, Klaus-Peter Eckert, Ina Schieferdecker
:
A Workload Model for Benchmarking BPEL Engines. 356-360 - Ralph Guderlei, René Just, Christoph Schneckenburger, Franz Schweiggert:
Benchmarking Testing Strategies with Tools from Mutation Analysis. 360-364 - Christian Pfaller, Stefan Wagner
, Jörg Gericke, Matthias Wiemann:
Multi-Dimensional Measures for Test Case Quality. 364-368 - Per Runeson
, Mats Skoglund, Emelie Engström:
Test Benchmarks - what is the question? 368-371 - Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw
:
Balanced FSM Generation for Empirical Studies. 371-375 - Anthony J. H. Simons
, Christopher David Thomson:
Benchmarking Effectiveness for Object-Oriented Unit Testing. 375-379 - Yaniv Eytani, Rachel Tzoref, Shmuel Ur:
Experience with a Concurrency Bugs Benchmark. 379-384
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.