Search results for "Test Specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Harry M. Sneed	Bridging the Concept to Implementation Gap in Software System Testing.	QSIC	2008	DBLP DOI BibTeX RDF	System test process, test cases, test design, test specification, test scripts
2	Bernard Stepien, Liam Peyton, Pulei Xiong	Framework testing of web applications using TTCN-3.	STTT	2008	DBLP DOI BibTeX RDF	Component, Pattern matching, Templates, Sets, Test case, TTCN-3, Test specification, Test script
2	Baolin Deng, Wolfram Glauert	Formal Description of Test Specification and ATE Architecture for Mixed-Signal Test.	ITC	2004	DBLP DOI BibTeX RDF
2	Yanhong Sun, Edward L. Jones	Specification-driven automated testing of GUI-based Java programs.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	test specification language, test automation, test engine
2	Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen	T911IMED TTCN-3 Based Graphical Real-Time Test Specification.	TestCom	2003	DBLP DOI BibTeX RDF
2	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
2	Bas Verhelst	Using a Test-Specification Format in Automatic Test-Program Generation.	IEEE Design & Test of Computers	1990	DBLP DOI BibTeX RDF
1	Héctor G. Barbosa León, Francisco José García Peñalvo, María José Rodriguez-Conde	Use of the Question and Test Specification to Define Adaptive Test.	WSKS	2010	DBLP DOI BibTeX RDF
1	Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith	An Introduction to Test Specification in FQL.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Pulei Xiong, Bernard Stepien, Liam Peyton	Model-Based Penetration Test Framework for Web Applications Using TTCN-3.	MCETECH	2009	DBLP DOI BibTeX RDF	model-based testing, TTCN-3, web application security, test specification, penetration testing
1	Martin Kropp, Wolfgang Schwaiger	Reverse generation and refactoring of fit acceptance tests for legacy code.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	testing, code generation, refactoring, maintenance, eclipse
1	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
1	Bernard Stepien, Liam Peyton	Integration Testing of Web Applications and Databases Using TTCN-3.	MCETECH	2009	DBLP DOI BibTeX RDF	databases, web applications, integration testing, TTCN-3
1	Shahar Maoz, Jani Metsä, Mika Katara	Model-Based Testing Using LSCs and S2A.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Kristóf Szabados	Structural Analysis of Large TTCN-3 Projects.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Sujit Kumar Chakrabarti, Y. N. Srikant	Test sequence computation for regression testing of reactive systems.	ISEC	2008	DBLP DOI BibTeX RDF	NP-complete, regression testing, API, test sequence, test specification
1	Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski	An approach to quality engineering of TTCN-3 test specifications.	STTT	2008	DBLP DOI BibTeX RDF	Metrics, Refactoring, Quality model, TTCN-3, Code smells, Test specification
1	Chuanming Jing, Zhiliang Wang, Xingang Shi, Xia Yin, Jianping Wu	Mutation Testing of Protocol Messages Based on Extended TTCN-3.	AINA	2008	DBLP DOI BibTeX RDF
1	Chuanming Jing, Xia Yin, Zhiliang Wang, Jianping Wu	A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Ben Breech, Lori L. Pollock, John Cavazos	RUGRAT: Runtime Test Case Generation Using Dynamic Compilers.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Achintya Halder, Soumendu Bhattacharya, Abhijit Chatterjee	System-Level Specification Testing Of Wireless Transceivers.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Daniel A. Sadilek, Stephan Weißleder	Testing Metamodels.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
1	Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu	A Formal Approach to Robustness Testing of Network Protocol.	NPC	2008	DBLP DOI BibTeX RDF
1	Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock	Modeling Property Based Stream Templates with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	George Din, Diana Vega, Ina Schieferdecker	Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.	SEUS	2008	DBLP DOI BibTeX RDF
1	Stefan Baerisch	Model-driven test-case construction.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	model-driven testing, test automation, acceptance testing
1	Stefan Baerisch	Model-driven test-case construction.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model-driven testing, test automation, acceptance testing
1	Sang-Guk Jung, Shim-Seok Lee, Yong-Bum Park, Jang-Kyung Kim	Development of URC Testing & Certification System.	CIRA	2007	DBLP DOI BibTeX RDF
1	Chao Sun, Feng Xie, Xiaocao Feng, Mingmin Zhang, Zhigeng Pan	A Training Oriented Driving Simulator.	ICEC	2007	DBLP DOI BibTeX RDF	Dynamic Texture Mapping, Computer Graphics, GPU, Real-Time Rendering, Real-Time Simulation, Driving simulation, Shader
1	Stephan Schulz, Anthony Wiles, Steve Randall	TPLan-A Notation for Expressing Test Purposes.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Diana Vega, Ina Schieferdecker, George Din	Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Brahim Sakout Andaloussi, Andreas Braun	A Test Specification Method for Software Interoperability Tests in Offshore Scenarios: A Case Study.	ICGSE	2006	DBLP DOI BibTeX RDF
1	George Din, Sorin Tolea, Ina Schieferdecker	Distributed Load Tests with TTCN-3.	TestCom	2006	DBLP DOI BibTeX RDF
1	Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian	Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.	TestCom	2006	DBLP DOI BibTeX RDF
1	Benjamin Zeiss, Helmut Neukirchen, Jens Grabowski, Dominic Evans, Paul Baker	Refactoring and Metrics for TTCN-3 Test Suites.	SAM	2006	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, George Din, Dimitrios Apostolidis	Distributed functional and load tests for Web services.	STTT	2005	DBLP DOI BibTeX RDF	Web services, TTCN-3, Distributed tests, Test frameworks, Test specification
1	Woei-Kae Chen, Tung-Hung Tsai, Hung-Hsing Chao	Integration of Specification-Based and CR-Based Approaches for GUI Testing.	AINA	2005	DBLP DOI BibTeX RDF
1	Donghoon Han, Abhijit Chatterjee	Robust Built-In Test of RF ICs Using Envelope Detectors.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
1	Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero	The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.	HASE	2005	DBLP DOI BibTeX RDF	ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments
1	Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola	A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.	EDCC	2005	DBLP DOI BibTeX RDF
1	Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen	STAIRS towards formal design with sequence diagrams.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	UML interactions, Explicit non-determinism, Refinement, Formal semantics, Sequence diagrams
1	Michael Ebner	UML-based test specification for communication systems: a methodology for the use of MSC and IDL in testing.		2004	RDF
1	Soumendu Bhattacharya, Abhijit Chatterjee	A Built-In Loopback Test Methodology for RF Transceiver Circuits Using Embedded Sensor Circuits.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
1	Ganesh Srinivasan, Soumendu Bhattacharya, Sasikumar Cherubal, Abhijit Chatterjee	Efficient Test Strategy for TDMA Power Amplifiers Using Transient Current Measurements: Uses and Benefit.	DATE	2004	DBLP DOI BibTeX RDF
1	Stefan Pitzek, Peter P. Puschner	Function Test Environment for Embedded Driver Components.	ISORC	2004	DBLP DOI BibTeX RDF
1	Soumendu Bhattacharya, Abhijit Chatterjee	Use of Embedded Sensors for Built-In-Test of RF Circuits.	ITC	2004	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, George Din	A Meta-model for TTCN-3.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Stefania Gnesi	Use case-based testing of product lines.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	use cases, product lines, black box testing
1	Leif Geiger, Albert Zündorf	Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests.	AGTIVE	2003	DBLP DOI BibTeX RDF
1	John Morris, Chiou Peng Lam, Gary A. Bundell, Gareth Lee, Kris Parker	Setting a Framework for Trusted Component Trading.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
1	Øystein Haugen, Ketil Stølen	STAIRS - Steps to Analyze Interactions with Refinement Semantics.	UML	2003	DBLP DOI BibTeX RDF
1	Falk Fraikin, Thomas Leonhardt	SeDiTeC - Testing Based on Sequence Diagrams.	ASE	2002	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, Jens Grabowski	The Graphical Format of TTCN-3 in the Context of MSC and UML.	SAM	2002	DBLP DOI BibTeX RDF
1	Paul Baker, Ekkart Rudolph, Ina Schieferdecker	Graphical Test Specification - The Graphical Format of TTCN-3.	SDL Forum	2001	DBLP DOI BibTeX RDF
1	Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno	A Selective Software Testing Method Based on Priorities Assigned to Functional Modules.	APAQS	2001	DBLP DOI BibTeX RDF	Testing priority, Design of testing specification, Software testing
1	Raymond A. Paul	End-to-End Integration Testing.	APAQS	2001	DBLP DOI BibTeX RDF
1	Jessica Chen, Suganthan Subramaniam	A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Java AWT and Swing, Finite state machines, Specification-based testing, Capture/Replay
1	Khaled Saab, Naim Ben Hamida, Bozena Kaminska	Closing the gap between analog and digital testing.	IEEE Trans. on CAD of Integrated Circuits and Systems	2001	DBLP DOI BibTeX RDF
1	Khaled Saab, Naim Ben Hamida, Bozena Kaminska	Closing the gap between analog and digital.	DAC	2000	DBLP DOI BibTeX RDF	hard faults, fault modeling, fault simulation, test vector generation
1	Amit M. Paradkar	SALT - An Integrated Environment to Automate Generation of Function Tests for APIs.	ISSRE	2000	DBLP DOI BibTeX RDF	Test Design Automation, Model Based Testing, Specification-Based Testing, Fault-Based Testing
1	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
1	Bertram Weber	Automating PBX System Testing.	IEEE Design & Test of Computers	1999	DBLP DOI BibTeX RDF
1	Peng Lu	Test case generation for specification-based software testing.	CASCON	1994	DBLP DOI BibTeX RDF
1	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	Strategic Testing Environment with Formal Description Techniques.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
1	Robert L. Probert, Hasan Ural	Requirements for a Test Specification Language for Protocol Implementation Testing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF