The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase specification-based testing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1997 (17) 1998-1999 (17) 2000-2001 (21) 2002-2003 (17) 2004 (17) 2005-2006 (16) 2007-2008 (24) 2009-2011 (18) 2012-2021 (15) 2022 (1)
Publication types (Num. hits)
article(33) inproceedings(129) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 314 occurrences of 163 keywords

Results
Found 163 publication records. Showing 163 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Juei Chang, Debra J. Richardson Structural Specification-Based Testing: Automated Support and Experimental Evaluation. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
51Jessica Chen, Suganthan Subramaniam Specification-based Testing for Gui-based Applications. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF java AWT and swing, finite state machines, specification-based testing, capture/replay
47Phil Stocks, David A. Carrington A Framework for Specification-Based Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Specification-based testing, testing strategies, test oracles, Z notation, test data
46Ioannis Parissis, Jérôme Vassy Thoroughness of Specification-Based Testing of Synchronous Programs. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Delphine Longuet, Marc Aiguier Specification-Based Testing for CoCasl's Modal Specifications. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
40Jian Chen, Richard H. Carver Selecting and mapping test sequences from formal specifications of concurrent programs. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
40Man Fai Lau, Yuen-Tak Yu An extended fault class hierarchy for specification-based testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault class analysis, software testing, test case generation, specification-based testing
37Sarfraz Khurshid, Darko Marinov TestEra: Specification-Based Testing of Java Programs Using SAT. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
37Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
36Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko UniTesK Test Suite Architecture. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automata based testing, test suite architecture, specification based testing, partition testing
36Jessica Chen, Steve Chovanec Towards Specification-based Web Testing. Search on Bibsonomy NETWORKING Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay
35Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno Applicability of Non-Specification-Based Approaches to Logic Testing for Software. Search on Bibsonomy DSN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF factor covering design, software testing, logic testing, mutation analysis, boolean specification
35Ryan Voigt, Kareem Fazal, Hassan Reza Specification-based Testing Method Using Testing Flow Graphs. Search on Bibsonomy ICSEA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Debra J. Richardson, T. Owen O'Malley, C. Tittle Approaches to Specification-Based Testing. Search on Bibsonomy Symposium on Testing, Analysis, and Verification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF ANNA, Larch
31Jessica Chen Expressing Graphical User's Input for Test Specifications. Search on Bibsonomy EDCIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java Swing and AWT, Graphical User's Interface, Finite State Machines, Specification-based Testing, Capture/Replay
31Jessica Chen, Xiaoshan Zhao Formal Models for Web Navigations with Session Control and Browser Cache. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
31Marc Aiguier, Delphine Longuet Test Selection Criteria for Modal Specifications of Reactive Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
31In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon Applying Conventional Testing Techniques for Class Testing. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
31Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal methods, specification-based testing, Object-Z, testing tools
30Shaoying Liu Automatic Specification-Based Testing: Challenges and Possibilities. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Automatic testing, model-based testing, functional testing, Specification-based testing, black-box testing
30Tatsuhiro Tsuchiya, Tohru Kikuno On fault classes and error detection capability of specification-based testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Specification-based testing, fault classes
30Man Fai Lau, Yuen-Tak Yu On the Relationships of Faults for Boolean Specification Based Testing. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fault class analysis, verification, specification based testing, Boolean expression
30Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF empirical studies, temporal logic, reactive systems, specification-based testing
29Phil Stocks, David A. Carrington Test Template Framework: A Specification-Based Testing Case Study. Search on Bibsonomy ISSTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Yuting Chen, Shaoying Liu, Fumiko Nagoya An Approach to Integration Testing Based on Data Flow Specifications. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SOFL, test cases generation, specification-based testing, data flow diagrams
28Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper Extending Test Templates with Inheritance. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF test templates, reuse, inheritance, specification-based testing, object-oriented testing
27Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng Specification-Based Testing for Real-Time Reactive Systems. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complexity, information theory, software measurement, Real-time reactive systems
27D. Richard Kuhn Fault classes and error detection capability of specification-based testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF testing
27Alexandre Petrenko Specification Based Testing: Towards Practice. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Tsong Yueh Chen, Man Fai Lau Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation. Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software testing, Empirical study, specification based testing, test suite reduction
26Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
25Henrik C. Bohnenkamp, Mariëlle Stoelinga Quantitative testing. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conformance relations, robustness, test case generation, specification-based testing, test execution
25Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
25Wael M. Elseaidy Static and dynamic analysis of real-time systems. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic
23Patrícia D. L. Machado On Oracles for Interpreting Test Results against Algebraic Specifications. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal verification, correctness, algebraic specification, specification based-testing, oracle
23Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson Architecture-based testing using goals and plans. Search on Bibsonomy ROSATEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF architecture-based testing, goal-driven software development, specification-based testing
23Selim Sermet Akbay, Abhijit Chatterjee Fault-based alternate test of RF components. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Zhenyu Chen 0001, Baowen Xu, Changhai Nie A detectability analysis of fault classes for Boolean specifications. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF detection condition, specification-based testing, fault class
23Bernhard K. Aichernig The Commuting V-Diagram. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, refinement, contracts, specification-based testing, refinement calculus
23Bruno Legeard, Fabien Peureux, Mark Utting Automated Boundary Testing from Z and B. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF boundary values, set constraint solving, specification-based testing, B method, Z notation
23Jessica Chen On Using Static Analysis in Distributed System Testing. Search on Bibsonomy EDO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing
22Roger Duke, Tim Miller, Paul A. Strooper Integrating Formal Specification and Software Verification and Validation. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Xiaofang Zhang, Baowen Xu, Zhenyu Chen 0001, Changhai Nie, Leifang Li An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean testing, optimization, software testing, test suite reduction, testing requirement
22Ioannis Parissis, Jérôme Vassy Strategies for Automated Specification-Based Testing of Synchronous Software. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF programming language design and implementation, Java, concurrency, process algebra, specification-based testing, synchronous programming
21Arthur Alexander Reyes, Debra J. Richardson Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. Search on Bibsonomy ASE The full citation details ... 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
20In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee Testing of Concurrent Programs Based on Message Sequence Charts. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
20Liangming Li, Lei Liu, Zhijian Wang, Yelong Tang Research on Interface Automata Testing. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Salem Abdennadher, Saghir A. Shaikh Practices in Mixed-Signal and RF IC Testing. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF I/O testing, SiP testing, wireless transceiver testing, DFT, built-in tests, ATE
19Frédéric Massicotte, Yvan Labiche Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria. Search on Bibsonomy QSIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Jan Jürjens, Guido Wimmel Specification-Based Testing of Firewalls. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Yu Lei 0001, Kuo-Chung Tai In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. Search on Bibsonomy HASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon Modeling and Testing Agent Systems Based on Statecharts. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Laya Madani, Virginia Papailiopoulou, Ioannis Parissis Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF reactive software, Lutess, specification-based testing, automatic test data generation
16Shaoying Liu, Shin Nakajima 0001 A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. Search on Bibsonomy SSIRI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Formal specification, Specification-based testing, Automatic test case generation
16Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun On detecting faults for Boolean expressions. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification
16Bernhard K. Aichernig, Jifeng He 0001 Mutation testing in UTP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
16Gordon Fraser 0001, Franz Wotawa Increasing Diversity in Coverage Test Suites Using Model Checking. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF test redundancy, test diversity, model checking, test case generation, specification based testing, test coverage
16Yuen-Tak Yu, Eric Ying Kwong Chan, Pak-Lok Poon On the Coverage of Program Code by Specification-Based Tests. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF path coverage, specification-based testing, code coverage, classification-tree method, category-partition method
16M. V. Arkhipova, Sergey V. Zelenov Directed Generation of Test Data for Static Semantics Checker. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context condition, grammar, specification based testing, static semantics, Automated test data generation
16Shaoying Liu Utilizing Formalization to Test Programs without Available Source Code (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Testing, Specification-based testing, Software Quality Assurance
16Mats Per Erik Heimdahl, George Devaraj On the effect of test-suite reduction on automatically generated model-based tests. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers
16Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory A specification-based approach to testing software product lines. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
16Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet Test Selection Criteria for Quantifier-Free First-Order Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
16Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse Identification of Categories and Choices in Activity Diagrams. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF choice relation framework, test frame, specification-based testing, Activity diagrams, classification-tree method, category-partition method
16Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001 Software assurance by bounded exhaustive testing. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing
16Mats Per Erik Heimdahl, George Devaraj Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test reduction, fault finding, specification-based testing, automated test generation, model checkers
16Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse A Choice Relation Framework for Supporting Category-Partition Test Case Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Category-partition testing, choice relation framework, choice relation table, test case construction, test frame, specification-based testing
16Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen Using the Incremental Approach to Generate Test Sets: A Case Study. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Empirical study, test case generation, specification-based testing, partition testing, fault-based testing
16Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software testing, specification-based testing, Black box testing, partition testing, test case selection, classification-tree method
16Jessica Chen, Suganthan Subramaniam A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java AWT and Swing, Finite state machines, Specification-based testing, Capture/Replay
16Bruno Legeard, Fabien Peureux Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing
16Amit M. Paradkar SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. Search on Bibsonomy ISSRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Test Design Automation, Model Based Testing, Specification-Based Testing, Fault-Based Testing
16Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, Yuen-Tak Yu White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases. Search on Bibsonomy APAQS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF specification-based testing, partition testing, test case selection, classification-tree method, Category-partition method
16Aki W. Tomita, Ken Sakamura Improving Design Dependability by Exploiting an Open Model-Based Specification. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
16Nur Engin, Hans G. Kerkhoff, Ronald J. W. T. Tangelder, Han Speek Integrated Design and Test of Mixed-Signal Circuits. Search on Bibsonomy J. Electron. Test. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF design and test integration, test plan generation, specification-based testing, mixed-signal test
16A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu Criteria for Generating Specification-Based Tests. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Formal Methods, Software Testing, Specification-based Testing
15Changhai Nie, Baowen Xu, Liang Shi, Guowei Dong Automatic Test Generation for N-Way Combinatorial Testing. Search on Bibsonomy QoSA/SOQUA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software testing, test generation, combinatorial testing
15Winfried Dulz, Fenhua Zhen MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki Applying Mutation Analysis to SDL Specifications. Search on Bibsonomy SDL Forum The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Test Generation, Conformance Testing, SDL, Mutation Analysis, MSC, Test Selection
15Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Zhenyu Chen 0001, Baowen Xu, Xiaofang Zhang, Changhai Nie A novel approach for test suite reduction based on requirement relation contraction. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graph contraction, test case reduction, testing requirement optimization
15Sergiy A. Vilkomir, Jonathan P. Bowen From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Search on Bibsonomy Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Sergiy A. Vilkomir, Jonathan P. Bowen From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
15Yuen-Tak Yu, Man Fai Lau Fault-based test suite prioritization for specification-based testing. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Chengying Mao A specification-based testing framework for Web service-based software. Search on Bibsonomy GrC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. Search on Bibsonomy SIGCOMM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
14Canh Minh Do, Kazuhiro Ogata 0001 Parallel Specification-Based Testing for Concurrent Programs. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
14Janice Chin, David Pearce Finding Bugs with Specification-Based Testing is Easy! Search on Bibsonomy Art Sci. Eng. Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Janice Chin, David Pearce Finding Bugs with Specification-Based Testing is Easy! Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
14Ovidiu Banias, Diana Florea, Robert Gyalai, Daniel-Ioan Curiac Automated Specification-Based Testing of REST APIs. Search on Bibsonomy Sensors The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
14Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink SpecCheck - Specification-Based Testing for Isabelle/ML. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2021 DBLP  BibTeX  RDF
14Alberto Momigliano Why Proof-Theory Matters in Specification-Based Testing. Search on Bibsonomy ICTCS The full citation details ... 2020 DBLP  BibTeX  RDF
14Canh Minh Do, Kazuhiro Ogata 0001 Specification-based Testing with Simulation Relations (S). Search on Bibsonomy SEKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
14Gene Fisher, Corrigan Johnson Specification-Based Testing in Software Engineering Courses. Search on Bibsonomy SIGCSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
14Fumiko Nagoya, Shaoying Liu An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
14Jesús J. López-Fernández, Esther Guerra, Juan de Lara Combining unit and specification-based testing for meta-model validation and verification. Search on Bibsonomy Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
14Gary Yu-Hsin Chen, Pei-Qi Wang 0004 Test Case Prioritization in a Specification-based Testing Environment. Search on Bibsonomy J. Softw. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
14Li Tan, Bolong Zeng Specification-based testing with buchi automata: Transition coverage criteria and property refinement. Search on Bibsonomy IRI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
14Kasturi Ghosh, Baidya Nath Ray Design of a new high order OTA-C filter structure and its specification based testing. Search on Bibsonomy VDAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 163 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license