Search results for "A-MOST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat	Model-based test prioritization heuristic methods and their evaluation.	A-MOST	2007	DBLP DOI BibTeX RDF	model-based test prioritization, regression testing, test prioritization, state-based model
1	Gordon Fraser 0001, Franz Wotawa	Using LTL rewriting to improve the performance of model-checker based test-case generation.	A-MOST	2007	DBLP DOI BibTeX RDF	LTL rewriting, test-case generation with model-checkers, automated software testing
1	Sebastian Benz	Combining test case generation for component and integration testing.	A-MOST	2007	DBLP DOI BibTeX RDF	verification, model based testing, integration testing, automatic test case generation
1	Manoranjan Satpathy, S. Ramesh 0002	Test case generation from formal models through abstraction refinement and model checking.	A-MOST	2007	DBLP DOI BibTeX RDF	counterexample guided abstraction refinement, model based testing, B-method
1		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-12	A-MOST	2007	DBLP BibTeX RDF
1	Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa	Test purpose generation in an industrial application.	A-MOST	2007	DBLP DOI BibTeX RDF	fault-based test purposes, test purpose design, model-based testing, protocol conformance testing
1	Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois	Automatic generation of model based tests for a class of security properties.	A-MOST	2007	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
1	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	concolic execution, parameterized unit testing, model-based testing, symbolic execution, test-case generation
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards traceability of model-based testing artifacts.	A-MOST	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
1	Yanping Chen 0004, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	2007	DBLP DOI BibTeX RDF	regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine
1	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
1	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting	A subset of precise UML for model-based testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model-based testing, OCL
1	Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem	An approach for selective state machine based regression testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model based testing, regression testing
1	Robert V. Binder, James E. Hanlon	The advanced mobile application testing environment.	A-MOST	2005	DBLP DOI BibTeX RDF
1		Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA	A-MOST	2005	DBLP BibTeX RDF
1	Xia Cai, Michael R. Lyu	The effect of code coverage on fault detection under different testing profiles.	A-MOST	2005	DBLP DOI BibTeX RDF	software testing, fault detection, code coverage
1	Markus Clermont, David Lorge Parnas	Using information about functions in selecting test cases.	A-MOST	2005	DBLP DOI BibTeX RDF	test data generation, black box testing, tabular expressions
1	Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk	Early estimation of defect density using an in-process Haskell metrics model.	A-MOST	2005	DBLP DOI BibTeX RDF	software quality, haskell, empirical software engineering, multiple regression
1	Alan F. Karr, Adam A. Porter	Distributed performance testing using statistical modeling.	A-MOST	2005	DBLP DOI BibTeX RDF	statistical modeling, distributed continuous quality assurance
1	Mikhail Auguston, James Bret Michael, Man-tak Shing	Environment behavior models for scenario generation and testing automation.	A-MOST	2005	DBLP DOI BibTeX RDF	reactive and real time system testing, model-based testing, testing automation
1	Xing Li, Ramesh Nagarajan	Modeling for image processing system validation, verification and testing.	A-MOST	2005	DBLP DOI BibTeX RDF	hardware design verification, image processing, software reuse
1	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	A-MOST	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
1	Kirk Sayre	Usage model-based automated testing of C++ templates.	A-MOST	2005	DBLP DOI BibTeX RDF
1	Amit M. Paradkar	Case studies on fault detection effectiveness of model based test generation techniques.	A-MOST	2005	DBLP DOI BibTeX RDF
1	David McGuinness, Liam Murphy 0001	A simulation model of a multi-server EJB system.	A-MOST	2005	DBLP DOI BibTeX RDF
1	Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz	Generating optimal distinguishing sequences with a model checker.	A-MOST	2005	DBLP DOI BibTeX RDF	model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification
1	Albert Schilling, Kelma Madeira, Paula Donegan, Kênia Soares Sousa, Elizabeth Furtado, Vasco Furtado	An integrated method for designing user interfaces based on tests.	A-MOST	2005	DBLP DOI BibTeX RDF
1	Erika Mir Olimpiew, Hassan Gomaa	Model-based testing for applications derived from software product lines.	A-MOST	2005	DBLP DOI BibTeX RDF	test order, model, UML, test, feature, product line
1	Peter B. Lakey	Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system: an industry report.	A-MOST	2005	DBLP DOI BibTeX RDF	reliability, model-based testing, model-based specification
1	Renée C. Bryce, Charles J. Colbourn	Test prioritization for pairwise interaction coverage.	A-MOST	2005	DBLP DOI BibTeX RDF	biased covering arrays, pairwise interaction coverage, greedy algorithm, covering arrays, software interaction testing, mixed-level covering arrays
1	Christopher M. Lott, Ashish Jain, Siddhartha R. Dalal	Modeling requirements for combinatorial software testing.	A-MOST	2005	DBLP DOI BibTeX RDF

Publications at "A-MOST"( http://dblp.L3S.de/Venues/A-MOST )