default search action
Software Testing, Verification & Reliability, Volume 22
Volume 22, Number 1, January 2012
- Jeff Offutt:
The h-index beats the impact factor. 1-2
- Brian Robinson, Lee J. White:
On the testing of user-configurable software systems using firewalls. 3-31 - Tim Miller, Paul A. Strooper
:
A case study in model-based testing of specifications and implementations. 33-63
Volume 22, Number 2, March 2012
- Shin Yoo, Mark Harman
Regression testing minimization, selection and prioritization: a survey. 67-120 - Xuandong Li, Minxue Pan, Lei Bu
Timing analysis of scenario-based specifications using linear programming. 121-143
Volume 22, Number 3, May 2012
- Jeff Offutt:
Non-expert reviews considered helpful. 145
- Peter J. Clarke
A testing strategy for abstract classes. 147-169 - Shin Yoo, Mark Harman
Test data regeneration: generating new test data from existing test data. 171-201 - Ramin Gholizadeh
Fuzzy Bayesian system reliability assessment based on prior two-parameter exponential distribution under different loss functions. 203-217
Volume 22, Number 4, June 2012
- Jeff Offutt:
Status and Awards. 219
- Zhiquan Zhou
Automated functional testing of online search services. 221-243 - Minh Ngoc Ngo, Hee Beng Kuan Tan:
Automated verification and testing of user-interactive undo features in database applications. 245-265 - Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang:
Testing aspect-oriented programs with finite state machines. 267-293
Volume 22, Number 5, August 2012
- Paul Ammann, Gordon Fraser, Franz Wotawa
Guest Editorial for the Special Issue on Model-Based Testing. 295-296 - Mark Utting
A taxonomy of model-based testing approaches. 297-312 - Marek Janicki, Mika Katara, Tuula Pääkkönen:
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey. 313-341 - Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère:
Applying formal methods to PCEP: an industrial case study from modeling to test generation. 343-361
Volume 22, Number 6, September 2012
- César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal passive testing of timed systems: theory and tools. 365-405 - Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot:
Scenario-based testing using symbolic animation of B models. 407-434 - Adenilso da Silva Simão
On reducing test length for FSMs with extra states. 435-454
Volume 22, Number 7, November 2012
- Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh:
Efficient coverage of parallel and hierarchical stateflow models for test case generation. 457-479 - Luay Ho Tahat
Regression test suite prioritization using system models. 481-506 - Andrea Calvagna
T-wise combinatorial interaction test suites construction based on coverage inheritance. 507-526
Volume 22, Number 8, December 2012
- Jeff Offutt:
Flipping the testing classroom. 527-528
- Andres Flores
Testing-based process for component substitutability. 529-561 - Fabio Martinelli, Ilaria Matteucci
A framework for automatic generation of security controller. 563-582 - Mercedes G. Merayo, Manuel Núñez
A formal framework to test soft and hard deadlines in timed systems. 583-608
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.
last updated on 2024-12-22 19:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: