Ensuring court admissibility of computer-generated records
ACM Transactions on Information Systems (TOIS)
Software development of real-time systems
Communications of the ACM
Computer system reliability and nuclear war
Communications of the ACM
A practical approach to the evaluation of microcode systems
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Assessing the quality of programs: a topic for the CS2 course
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
ANSS '87 Proceedings of the 20th annual symposium on Simulation
An evolutionary approach to verification and validation of expert systems
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
An Analysis of Several Software Defect Models
IEEE Transactions on Software Engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
The growth of software testing
Communications of the ACM
Abstraction Mechanisms for Event Control in Program Debugging
IEEE Transactions on Software Engineering
What to do beyond branch testing
ACM SIGSOFT Software Engineering Notes
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Experimental comparison of three system test strategies preliminary report
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
Powers-of-ten information biases
MIS Quarterly
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Determining an Optimal Time Interval for Testing and Debugging Software
IEEE Transactions on Software Engineering
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Testability of Software Components
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
The Task Dependence Net in Ada software development
ACM SIGAda Ada Letters
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Journal of Symbolic Computation - Special issue on automatic programming
Dynamic programming in a pure functional language
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Clever programming languages exercises
ACM SIGCSE Bulletin
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
Dominators, super blocks, and program coverage
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AS/400 software quality management
IBM Systems Journal
Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Automated testing from object models
Communications of the ACM
Testing student-made compilers
ACM SIGCSE Bulletin
Evaluation of expert system testing methods
Communications of the ACM
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Requirements-based design evaluation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Critical slicing for software fault localization
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An evaluation of software test environment architectures
Proceedings of the 18th international conference on Software engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Requirements-driven software test: a process-oriented approach
ACM SIGSOFT Software Engineering Notes
Testing: principles and practice
ACM Computing Surveys (CSUR)
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Methodology for Testing Intrusion Detection Systems
IEEE Transactions on Software Engineering
Design and test strategies for a safety-critical embedded executive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
What makes one software architecture more testable than another?
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
TestTube: a system for selective regression testing
ICSE '94 Proceedings of the 16th international conference on Software engineering
ADTEST: A Test Data Generation Suite for Ada Software Systems
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
On random and partition testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Interactive, visual testing strategy for computational geometry problems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Proceedings of the 2nd Australasian conference on Computer science education
A survey of software inspection checklists
ACM SIGSOFT Software Engineering Notes
An integrated framework for security and dependability
Proceedings of the 1998 workshop on New security paradigms
Efficient coverage testing using global dominator graphs
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Software quality assurance for CAD (tutorial)
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing the test process using structural coverage
ICSE '85 Proceedings of the 8th international conference on Software engineering
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
A VHDL error simulator for functional test generation
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Putting static analysis to work for verification: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Black-box test reduction using input-output analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study
IEEE Transactions on Software Engineering
Probe: a formal specification-based testing system
ICIS '99 Proceedings of the 20th international conference on Information Systems
Influencing the success of spreadsheet development by novice users
ICIS '98 Proceedings of the international conference on Information systems
Testing and Debugging Custom Integrated Circuits
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
A technique for testing command and control software
Communications of the ACM
Concepts and criteria to assess acceptability of simulation studies: a frame of reference
Communications of the ACM - Special issue on simulation modeling and statistical computing
Software testing in the computer science curriculum -- a holistic approach
ACSE '00 Proceedings of the Australasian conference on Computing education
Integrating testing into the curriculum — arsenic in small doses
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Functional test generation for behaviorally sequential models
Proceedings of the conference on Design, automation and test in Europe
SystemC: a homogenous environment to test embedded systems
Proceedings of the ninth international symposium on Hardware/software codesign
A perspective on teaching software testing
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
Local exhaustive testing: a software reliability tool
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Specifications and testing aided by a variant of the cause-effect process
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
A method for detecting faulty code violating implicit coding rules
Proceedings of the International Workshop on Principles of Software Evolution
Software restructuring: implementing a code abstraction transformation
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
A framework for table driven testing of Java classes
Software—Practice & Experience
Software requirements and acceptance testing
Annals of Software Engineering
The ability of directed tests to predict software quality
Annals of Software Engineering
Specification-based testing using cause-effect graphs
Annals of Software Engineering
Automated class testing using threaded multi-way trees to represent the behaviour of state machines
Annals of Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Systems integration throughout the early life cycle
BT Technology Journal
Automated testing as an aid to systems integration
BT Technology Journal
World Wide Web enabled operational support systems — a testing perspective
BT Technology Journal
The Usability Problem Taxonomy: A Framework for Classificationand Analysis
Empirical Software Engineering
Experimental Evaluation of Program Slicing for Fault Localization
Empirical Software Engineering
FAST: a framework for automating statistics-based testing
Software Quality Control
Iterative design and testing within the software development life cycle
Software Quality Control
Mutation Testing Applied to Estelle Specifications
Software Quality Control
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Gaining Confidence in Software Inspection Using a Bayesian Belief Model
Software Quality Control
A General Model of Unit Testing Efficacy
Software Quality Control
Software requirements validation via task analysis
Journal of Systems and Software
Automated Test Case Generation for BDI Agents
Autonomous Agents and Multi-Agent Systems
Experience in Testing the Motif Interface
IEEE Software
How to Design Practical Test Cases
IEEE Software
What Is Software Testing? And Why Is It So Hard?
IEEE Software
Validating and Improving Test-Case Effectiveness
IEEE Software
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
Testing Expert Systems in Process Control
IEEE Transactions on Knowledge and Data Engineering
An Application of Explanation-Based Learning to Protocol Conformance Testing
IEEE Expert: Intelligent Systems and Their Applications
IEEE Expert: Intelligent Systems and Their Applications
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities
IEEE Transactions on Software Engineering
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
IEEE Transactions on Software Engineering
A Binary Markov Process Model for Random Testing
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
A testing approach for large system portfolios in industrial environments
Journal of Systems and Software
Automated testing of mySAP business processes: efficient usage of the SAP test workbench
Software quality and software testing in internet times
Distributed End-to-End Testing Management
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Quality-Adaptive Testing: A Strategy for Testing with Focusing on Where Bugs Have Been Detected
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
The Role of Design Components in Test Plan Generation
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Test Order for Inter-Class Integration Testing of Object-Oriented Software
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Acceptance Testing of Object Oriented Systems
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Security for Distributed E-Service Composition
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Combined Testing and Verification Approach for Software Reliability
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Feature Interaction Detection Using Testing and Model-Checking Experience Report
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Methods for Conformance Testing: Theory Can Be Practical
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Extended Model-Based Testing toward High Code Coverage Rate
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Cause-effect graphing analysis and validation of requirements
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Specification-based regression test selection with risk analysis
CASCON '02 Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
On the experience of using cause-effect graphs for software specification and test generation
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Ensuring System and Software Reliability in Safety-Critical Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
A software quality assurance program through reusable code
SIGDOC '84 Proceedings of the 3rd annual international conference on Systems documentation
PACE - a microprogram evaluation system
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Teaching software engineering in the adult education environment
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
A project oriented course on software engineering
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A project-unified software engineering course sequence
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Diagnostic system for distributed software: A relational database approach
ICSE '84 Proceedings of the 7th international conference on Software engineering
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
Software-fault detector for microprocessors
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
A session with Tinker: Interleaving program testing with program design
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
ICSE '79 Proceedings of the 4th international conference on Software engineering
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Specification of a regression test for a mini computer operating system
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
The application of error-sensitive testing strategies to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
The role of debugging within software engineering environments
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Practical code coverage for Verilog
IVC '95 Proceedings of the 4th IEEE International Verilog HDL Conference
From problem to solution with quality attributes and design aspects
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
SystemC
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
System Design Verification Tests - An Overview
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Generating test cases from class vectors
Journal of Systems and Software
A new methodology for generating test cases for a programming language compiler
ACM SIGPLAN Notices
On the use of the classification-tree method by beginning software testers
Proceedings of the 2003 ACM symposium on Applied computing
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Fault-based test generation for cause-effect graphs
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
On the application of Rothon diagrams to data abstraction
ACM SIGPLAN Notices
Logic-level analysis of high-level faults
Proceedings of the 14th ACM Great Lakes symposium on VLSI
Generating Tests from Counterexamples
Proceedings of the 26th International Conference on Software Engineering
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A formalization of Myers cause-effect graphs for unit testing
ACM SIGSOFT Software Engineering Notes
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
In-process metrics for software testing
IBM Systems Journal
Journal of Electronic Testing: Theory and Applications
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Adaptive Random Testing Through Dynamic Partitioning
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Not-defect: the mature discipline of testing
Communications of the ACM - Voting systems
Decision Support for Test Management in Iterative and Evolutionary Development
Proceedings of the 19th IEEE international conference on Automated software engineering
Intelligent Component Selection
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
On the Testing of Particular Input Conditions
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Proceedings of the 35th conference on Winter simulation: driving innovation
Effective test metrics for test strategy evolution
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
The unconscious art of software testing
Communications of the ACM - Interaction design and children
The organization of the software quality assurance process
ACM SIGMIS Database
Teaching a formal method in a software engineering course
Proceedings of the 2nd annual conference on Mid-south college computing
Evaluation of debug-testing efficiency by duplication of the detected fault and delay time of repair
Information Sciences—Informatics and Computer Science: An International Journal
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Logic-level mapping of high-level faults
Integration, the VLSI Journal - Special issue: ACM great lakes symposium on VLSI
Observations and lessons learned from automated testing
Proceedings of the 27th international conference on Software engineering
Proceedings of the 27th international conference on Software engineering
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
An effective testing method for end-user programmers
WEUSE I Proceedings of the first workshop on End-user software engineering
Software quality economics for defect-detection techniques using failure prediction
3-WoSQ Proceedings of the third workshop on Software quality
A Characterisation Schema for Software Testing Techniques
Empirical Software Engineering
Universal software safety standard
ACM SIGSOFT Software Engineering Notes
Lattice-based adaptive random testing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Experiences in coverage testing of a Java middleware
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A study of the influence of coverage on the relationship between static and dynamic coupling metrics
Science of Computer Programming - Special issue: Principles and practices of programming in Java (PPPJ 2004)
Modelling the quality economics of defect-detection techniques
Proceedings of the 2006 international workshop on Software quality
Unit testing in multi-agent systems using mock agents and aspects
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
A survey of coverage based testing tools
Proceedings of the 2006 international workshop on Automation of software test
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science
Proceedings of the 1st international workshop on Random testing
An empirical study of the robustness of MacOS applications using random testing
Proceedings of the 1st international workshop on Random testing
Object distance and its application to adaptive random testing of object-oriented programs
Proceedings of the 1st international workshop on Random testing
Is adaptive random testing really better than random testing
Proceedings of the 1st international workshop on Random testing
Adaptive random testing with randomly translated failure region
Proceedings of the 1st international workshop on Random testing
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
A model and sensitivity analysis of the quality economics of defect-detection techniques
Proceedings of the 2006 international symposium on Software testing and analysis
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
Proceedings of the 2006 international symposium on Software testing and analysis
Using a software testing technique to identify registers for partial scan implementation
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
An empirical analysis and comparison of random testing techniques
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
A literature survey of the quality economics of defect-detection techniques
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
A new script language applicable to symbolic execution systems
International Journal of Computers and Applications
Software partitioning for effective automated unit testing
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Establishing structural testing criteria for Java bytecode
Software—Practice & Experience
Adaptive random testing through iterative partitioning revisited
Proceedings of the 3rd international workshop on Software quality assurance
Integrating a model of analytical quality assurance into the V-Modell XT
Proceedings of the 3rd international workshop on Software quality assurance
Discriminative pattern mining in software fault detection
Proceedings of the 3rd international workshop on Software quality assurance
Compositional dynamic test generation
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An empirical study of the robustness of MacOS applications using random testing
ACM SIGOPS Operating Systems Review
Understanding component co-evolution with a study on Linux
Empirical Software Engineering
A case study in test management
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Towards an automated test generation for the verification of model transformations
Proceedings of the 2007 ACM symposium on Applied computing
Enhancing adaptive random testing in high dimensional input domains
Proceedings of the 2007 ACM symposium on Applied computing
Adaptive software testing with fixed-memory feedback
Journal of Systems and Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automatic Test Data Generation for XML Schema-based Partition Testing
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Finding what's not there: a new approach to revealing neglected conditions in software
Proceedings of the 2007 international symposium on Software testing and analysis
A practical approach to testing GUI systems
Empirical Software Engineering
SCCP/x: a compilation profile to support testing and verification of optimized code
CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Test purpose generation in an industrial application
Proceedings of the 3rd international workshop on Advances in model-based testing
Towards automating testing of communicational B3G applications
Mobility '06 Proceedings of the 3rd international conference on Mobile technology, applications & systems
Improving random test sets using the diversity oriented test data generation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
A state-based approach to integration testing based on UML models
Information and Software Technology
Profiling and testing within domains to facilitate document exchangeability
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
Coevolving programs and unit tests from their specification
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
Input parameter modeling for combination strategies
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
A tabu search algorithm for structural software testing
Computers and Operations Research
GA-based multiple paths test data generator
Computers and Operations Research
A new paradigm for programming competitions
Proceedings of the 39th SIGCSE technical symposium on Computer science education
A software quality strategy for the development of automatic control systems
International Journal of Computer Applications in Technology
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ARTOO: adaptive random testing for object-oriented software
Proceedings of the 30th international conference on Software engineering
A meta-model semantics for structural constraints in ODP computational language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A meta-model syntax for structural constraints in ODP enterprise language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
Supporting the selection of model-based testing approaches for software projects
Proceedings of the 3rd international workshop on Automation of software test
An effort and time based measure of usability
Proceedings of the 6th international workshop on Software quality
Cooperative work in software testing
Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Journal of Systems and Software
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Distributing test cases more evenly in adaptive random testing
Journal of Systems and Software
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Automated test data generation using a scatter search approach
Information and Software Technology
Software management issues for new system designs
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Simple dynamic assertions for interactive program validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Improving software testing in large data processing organizations
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Compiler validation: an assessment
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
HITS: a symbolic testing and debugging system for multilingual microcomputer software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Quality assurance in a large commercial data processing installation
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Multi-objective Improvement of Software Using Co-evolution and Smart Seeding
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
A Constraint Logic Programming Approach to Automated Testing
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Cause effect graph to decision table generation
ACM SIGSOFT Software Engineering Notes
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Conformance testing for real-time systems
Formal Methods in System Design
WISE: Automated test generation for worst-case complexity
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
On detecting faults for Boolean expressions
Software Quality Control
Exception handling negligence due to intra-individual goal conflicts
CHASE '09 Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering
Proceedings of the eighteenth international symposium on Software testing and analysis
On Comparing Testing Criteria for Logical Decisions
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
A discussion on design factors of client-server software testability
ACM SIGSOFT Software Engineering Notes
Test-data generation guided by static defect detection
Journal of Computer Science and Technology
Software testing and the naturally occurring data assumption in natural language processing
SETQA-NLP '08 Software Engineering, Testing, and Quality Assurance for Natural Language Processing
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Back to basic: generating test cases from source codes
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Software debugging, testing, and verification
IBM Systems Journal
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Design verification system for large-scale LSI designs
IBM Journal of Research and Development
Testing in the Wild: The Social and Organisational Dimensions of Real World Practice
Computer Supported Cooperative Work
How do testers do it? An exploratory study on manual testing practices
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Heuristics for Faster Error Detection With Automated Black Box Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating test data for distributed software using the chaining approach
Information and Software Technology
Parallel testing of distributed software
Information and Software Technology
Logic-level mapping of high-level faults
Integration, the VLSI Journal - Special issue: ACM great lakes symposium on VLSI
Automatic test case generation through a collaborative web application
EuroIMSA '08 Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications
Using designer's effort for user interface evaluation
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Unit testing beyond a bar in green and red
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
The graphical format of TTCN-3 in the context of MSC and UML
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
On the application of the concept of dependability for design and analysis of vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
Exhaustive testing of exception handlers with enforcer
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Meta-modelling syntax and semantics of structural concepts for open networked enterprises
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
Testing real-time systems using UPPAAL
Formal methods and testing
Coverage criteria for state based specifications
Formal methods and testing
Testing from X-machine specifications
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Formal analysis of the effectiveness and predictability of random testing
Proceedings of the 19th international symposium on Software testing and analysis
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
An automated hint generation approach for supporting the evolution of requirements specifications
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
A uniform random test data generator for path testing
Journal of Systems and Software
Updating requirements from tests during maintenance and evolution
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Masking boundary value coverage: effectiveness and efficiency
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
A new approach for software testability
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Towards economical software release recommendations
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Proof process evaluation with mutation analysis
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Sleuth: a domain based testing tool
ITC'94 Proceedings of the 1994 international conference on Test
Testing techniques in software engineering
Testing techniques in software engineering
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Mining software defect data to support software testing management
Applied Intelligence
Improving test coverage using merged classification tree
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Testing discrete-event simulation programs using black-box techniques
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
Testing container classes: random or systematic?
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs
Journal of Electronic Testing: Theory and Applications
Designing test engine for computer-aided software testing tools
WSEAS Transactions on Computers
Adaptive random testing: an illusion of effectiveness?
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
An evaluation of change-based coverage criteria
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
A methodology for testing intersection related Vehicle-2-X applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Evolutionary generation of test data for many paths coverage based on grouping
Journal of Systems and Software
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Defining and measuring policy coverage in testing access control policies
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Analysis of an artifact oriented test process model and of testing aspects of CMMI
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
Adaptive random testing by bisection with restriction
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Finding and ranking research directions for software testing
EuroSPI'05 Proceedings of the 12th European conference on Software Process Improvement
Who tested my software? Testing as an organizationally cross-cutting activity
Software Quality Control
Executable interface specifications for testing asynchronous creol components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model-based system testing of software product families
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A tool to automatically detect defects in c++ programs
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Testing of symbolic-probabilistic systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A grey-box approach to the functional testing of complex automatic train protection systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Model-Based identification of fault-prone components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Towards a methodology for component-driven design
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Comparing bug finding tools with reviews and tests
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Content-Level conformance testing: an information mapping case study
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Proceedings of the 4th international conference on Intercultural Collaboration
Enforcer – efficient failure injection
FM'06 Proceedings of the 14th international conference on Formal Methods
A semantic framework for test coverage
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Formal test generation from UML models
Dependable Systems
Hardware design and simulation for verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Adaptive random testing by bisection and localization
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Software model checking: searching for computations in the abstract or the concrete
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Generating test data for both paths coverage and faults detection using genetic algorithms
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing Theories and Applications: with aspects of artificial intelligence
Taming the raven --- testing the random access, visualization and exploration network RAVEN
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Evaluating test selection strategies for end-user specified flow-based applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Model checking distributed systems by combining caching and process checkpointing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
An approach to operating system testing
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Probabilistic symbolic execution
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Automatically finding performance problems with feedback-directed learning software testing
Proceedings of the 34th International Conference on Software Engineering
Extending static analysis by mining project-specific rules
Proceedings of the 34th International Conference on Software Engineering
An architectural model for software testing lesson learned systems
Information and Software Technology
Voice interactive classroom: best practices and design strategies
Concurrency and Computation: Practice & Experience
Green: reducing, reusing and recycling constraints in program analysis
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Boosting search based testing by using constraint based testing
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
The search for the laws of automatic random testing
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Comparing multi-point stride coverage and dataflow coverage
Proceedings of the 2013 International Conference on Software Engineering
State of the art: Dynamic symbolic execution for automated test generation
Future Generation Computer Systems
Precision reuse for efficient regression verification
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A methodology for testing CPU emulators
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Science of Computer Programming
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Generating test data for both path coverage and fault detection using genetic algorithms
Frontiers of Computer Science: Selected Publications from Chinese Universities
Empirical Software Engineering
Hi-index | 0.09 |
From the Publisher:Provides a practical rather than theoretical discussion of the purpose and nature of software testing. Emphasizes methodologies for the design of effective test cases. Comprehensively covers psychological and economic principles, managerial aspects of testing, test tools, high-order testing, code inspections, and debugging. Extensive bibliography. Programmers at all levels, and programming students, will find this reference work indispensible.