A-MOST - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2007

Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12ACM, 2007.

Test purpose generation in an industrial applicationBernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa. amost 2007: 115-125 [doi]

Combining test case generation for component and integration testingSebastian Benz. amost 2007: 23-33 [doi]

A subset of precise UML for model-based testingFabrice Bouquet, C. Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting. amost 2007: 95-104 [doi]

Model-based regression test suite generation using dependence analysisYanping Chen, Robert L. Probert, Hasan Ural. amost 2007: 54-62 [doi]

An approach for selective state machine based regression testingQurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem. amost 2007: 44-52 [doi]

Using LTL rewriting to improve the performance of model-checker based test-case generationGordon Fraser, Franz Wotawa. amost 2007: 64-74 [doi]

Achieving both model and code coverage with automated gray-box testingNicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman. amost 2007: 1-11 [doi]

Model-based test prioritization heuristic methods and their evaluationBogdan Korel, George Koutsogiannakis, Luay Ho Tahat. amost 2007: 34-43 [doi]

Automatic generation of model based tests for a class of security propertiesPierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois. amost 2007: 12-22 [doi]

Towards traceability of model-based testing artifactsLeila Naslavsky, Hadar Ziv, Debra J. Richardson. amost 2007: 105-114 [doi]

Test case generation from formal models through abstraction refinement and model checkingManoranjan Satpathy, S. Ramesh. amost 2007: 85-94 [doi]

Relating counterexamples to test cases in CTL model checking specificationsDuminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser. amost 2007: 75-84 [doi]

2005

Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USAACM, 2005.

Environment behavior models for scenario generation and testing automationMikhail Auguston, James Bret Michael, Man-tak Shing. amost 2005: [doi]

The advanced mobile application testing environmentRobert V. Binder, James E. Hanlon. amost 2005: 1 [doi]

Requirements traceability in automated test generation: application to smart card software validationFabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting. amost 2005: [doi]

Test prioritization for pairwise interaction coverageRenée C. Bryce, Charles J. Colbourn. amost 2005: [doi]

The effect of code coverage on fault detection under different testing profilesXia Cai, Michael R. Lyu. amost 2005: [doi]

Using information about functions in selecting test casesMarkus Clermont, David Lorge Parnas. amost 2005: [doi]

Distributed performance testing using statistical modelingAlan F. Karr, Adam A. Porter. amost 2005: [doi]

Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry reportPeter B. Lakey. amost 2005: [doi]

Modeling for image processing system validation, verification and testingXing Li, Ramesh Nagarajan. amost 2005: [doi]

Modeling requirements for combinatorial software testingChristopher M. Lott, Ashish Jain, Siddhartha R. Dalal. amost 2005: [doi]

A simulation model of a multi-server EJB systemDavid McGuinness, Liam Murphy. amost 2005: [doi]

Model-based testing for applications derived from software product linesErika Mir Olimpiew, Hassan Gomaa. amost 2005: [doi]

Case studies on fault detection effectiveness of model based test generation techniquesAmit M. Paradkar. amost 2005: [doi]

Generating optimal distinguishing sequences with a model checkerChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz. amost 2005: [doi]

Usage model-based automated testing of C++ templatesKirk Sayre. amost 2005: [doi]

An integrated method for designing user interfaces based on testsAlbert Schilling, Kelma Madeira, Paula Donegan, Kênia Soares Sousa, Elizabeth Furtado, Vasco Furtado. amost 2005: [doi]

Early estimation of defect density using an in-process Haskell metrics modelMark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk. amost 2005: [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

A-MOST (amost)

Viewing Publication 1 - 31 from 31

2007

2005

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

A-MOST (amost)

Viewing Publication 1 - 31 from 31

2007

2005

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1