External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 22, Issue 8

    527 -- 528Jeff Offutt. Flipping the testing classroom
    529 -- 561Andres Flores, Macario Polo. Testing-based process for component substitutability
    563 -- 582Fabio Martinelli, Ilaria Matteucci. A framework for automatic generation of security controller
    583 -- 608Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. A formal framework to test soft and hard deadlines in timed systems

    Volume 22, Issue 7

    457 -- 479Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh. Efficient coverage of parallel and hierarchical stateflow models for test case generation
    481 -- 506Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural. Regression test suite prioritization using system models
    507 -- 526Andrea Calvagna, Angelo Gargantini. T-wise combinatorial interaction test suites construction based on coverage inheritance

    Volume 22, Issue 6

    365 -- 405César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal passive testing of timed systems: theory and tools
    407 -- 434Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot. Scenario-based testing using symbolic animation of B models
    435 -- 454Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko. On reducing test length for FSMs with extra states

    Volume 22, Issue 5

    295 -- 296Paul Ammann, Gordon Fraser, Franz Wotawa. Guest Editorial for the Special Issue on Model-Based Testing
    297 -- 312Mark Utting, Alexander Pretschner, Bruno Legeard. A taxonomy of model-based testing approaches
    313 -- 341Marek Janicki, Mika Katara, Tuula Pääkkönen. Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey
    343 -- 361Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère. Applying formal methods to PCEP: an industrial case study from modeling to test generation

    Volume 22, Issue 4

    219 -- 0Jeff Offutt. Status and Awards
    221 -- 243Zhiquan Zhou, Shujia Zhang, Markus Hagenbuchner, T. H. Tse, Fei-Ching Kuo, Tsong Yueh Chen. Automated functional testing of online search services
    245 -- 265Minh Ngoc Ngo, Hee Beng Kuan Tan. Automated verification and testing of user-interactive undo features in database applications
    267 -- 293Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang. Testing aspect-oriented programs with finite state machines

    Volume 22, Issue 3

    145 -- 0Jeff Offutt. Non-expert reviews considered helpful
    147 -- 169Peter J. Clarke, James F. Power, Djuradj Babich, Tariq M. King. A testing strategy for abstract classes
    171 -- 201Shin Yoo, Mark Harman. Test data regeneration: generating new test data from existing test data
    203 -- 217Ramin Gholizadeh, Aliakbar Mastani Shirazi, Bahram Sadeghpour Gildeh. Fuzzy Bayesian system reliability assessment based on prior two-parameter exponential distribution under different loss functions

    Volume 22, Issue 2

    67 -- 120Shin Yoo, Mark Harman. Regression testing minimization, selection and prioritization: a survey
    121 -- 143Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao. Timing analysis of scenario-based specifications using linear programming

    Volume 22, Issue 1

    1 -- 2Jeff Offutt. h-index beats the impact factor
    3 -- 31Brian Robinson, Lee J. White. On the testing of user-configurable software systems using firewalls
    33 -- 63Tim Miller, Paul A. Strooper. A case study in model-based testing of specifications and implementations
    runs on