Undebuggability and cognitive science
Communications of the ACM
A Cost Model for Determining the Optimal Number of Software Test Cases
IEEE Transactions on Software Engineering
The growth of software testing
Communications of the ACM
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
Testability of Software Components
IEEE Transactions on Software Engineering
The costs related to making software reusable: experience from a real project
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
Load testing software using deterministic state 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
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
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Experiences with cluster and class testing
Communications of the ACM
Automated testing from object models
Communications of the ACM
Design for testability in object-oriented systems
Communications of the ACM
TOBAC: a test case browser for testing object-oriented software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Evaluation of expert system testing methods
Communications of the ACM
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
Optimal Test Distributions for Software Failure Cost Estimation
IEEE Transactions on Software Engineering
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
A reuse scenario for the VHDL-based hardware design flow
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
How to efficiently build VHDL testbenches
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
Developing an object-oriented software testing and maintenance environment
Communications of the ACM - Special issue on object-oriented experiences and future trends
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Unconstrained duals and their use in achieving all-uses coverage
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
Reducing and estimating the cost of test coverage criteria
Proceedings of the 18th international conference on Software engineering
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
Testing: principles and practice
ACM Computing Surveys (CSUR)
ACM SIGSOFT Software Engineering Notes
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
An observability-based code coverage metric for functional simulation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Measuring requirements testing:: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
On testable object-oriented programming
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Feasible test path selection by principal slicing
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An experiment in estimating reliability growth under both representative and directed testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
On random and partition testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automatic interoperability test generation for source-to-source translators
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Everything I need to know I learned from the Chrysler payroll project
Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
Regression testing in an industrial environment
Communications of the ACM
DAC '98 Proceedings of the 35th annual Design Automation Conference
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
High-level design verification of microprocessors via error modeling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Proceedings of the 2nd Australasian conference on Computer science education
Support of semantics recovery during code scavenging using repository classification
SSR '99 Proceedings of the 1999 symposium on Software reusability
Exploiting Behavioral Information in Gate-Level ATPG
Journal of Electronic Testing: Theory and Applications - Special issue on the IEEE European Test Workshop
High-level test generation for design verification of pipelined microprocessors
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Software quality assurance for CAD (tutorial)
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Using model checking to generate tests from requirements specifications
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
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
A heuristic approach for test case generation
CSC '91 Proceedings of the 19th annual conference on Computer Science
Automatic test bench generation for simulation-based validation
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Proceedings of the Conference on The Future of Software Engineering
Testing levels for object-oriented software
Proceedings of the 22nd international conference on Software engineering
An RTL Abstraction Technique for Processor MicroarchitectureValidation and Test Generation
Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
Automatic test bench generation for validation of RT-level descriptions: an industrial experience
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Empirical Studies of a Prediction Model for Regression Test Selection
IEEE Transactions on Software Engineering
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automatic abstraction for model checking software systems with interrelated numeric constraints
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Analysis of the constraint solver in UNA based test data generation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
Using the Alfa-1 simulated processor for educational purposes
Journal on Educational Resources in Computing (JERIC)
Model checking Java programs using structural heuristics
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Test workload measurement and reliability analysis for large commercial software systems
Annals of Software Engineering
Specification-based testing using cause-effect graphs
Annals of Software Engineering
Object-oriented integration testing
Annals of Software Engineering
Testing Processes of Web Applications
Annals of Software Engineering
Automated testing as an aid to systems integration
BT Technology Journal
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
A study of user acceptance tests
Software Quality Control
Iterative design and testing within the software development life cycle
Software Quality Control
A General Model of Unit Testing Efficacy
Software Quality Control
Observability analysis of embedded software for coverage-directed validation
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Design for Testability in Hardware-Software Systems
IEEE Design & Test
RT-Level ITC'99 Benchmarks and First ATPG Results
IEEE Design & Test
Evaluating and Selecting Testing Tools
IEEE Software
Exploring the Software Development Trilogy
IEEE Software
Legacy Information Systems: Issues and Directions
IEEE Software
What Is Software Testing? And Why Is It So Hard?
IEEE Software
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
A testing approach for large system portfolios in industrial environments
Journal of Systems and Software
Solving the generalized mask constraint for test generation of binary floating point add operation
Theoretical Computer Science - Real numbers and computers
Iterative Reengineering of Legacy Systems
IEEE Transactions on Software Engineering
Automated testing of mySAP business processes: efficient usage of the SAP test workbench
Software quality and software testing in internet times
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
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
Automatic Validation of Protocol Interfaces Described in VHDL
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
ARPIA: A High-Level Evolutionary Test Signal Generator
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
Massive Stochastic Testing of SQL
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Supporting System-Level Testing of Applications by Active Real-Time Database Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
TATOO: Testing and Analysis Tool for Object- Oriented Software
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Coverability Analysis Using Symbolic Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Understanding Algorithms by Means of Visualized Path Testing
Revised Lectures on Software Visualization, International Seminar
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Constraint Solving in Test-Data Generation
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Improvements in Coverability Analysis
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
On automatic generation of RTL validation test benches using circuit testing techniques
Proceedings of the 13th ACM Great Lakes symposium on VLSI
A proposal for introducing model checking into an undergraduate software engineering curriculum
Journal of Computing Sciences in Colleges
Improving web application testing with user session data
Proceedings of the 25th International Conference on Software Engineering
An object state test model: object state diagram
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Testing the C set++ collection class library
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An object oriented testing and maintenance environment
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Comparative Study of Five Regression Testing Algorithms
ASWEC '97 Proceedings of the Australian Software Engineering Conference
System-Level Test Bench Generation in a Co-Design Framework
ETW '00 Proceedings of the IEEE European Test Workshop
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Analysis Techniques for Testing Polymorphic Relationships
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Interface Mutation to Assess the Adequacy of Tests for Components and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Improving design dependability based on the TRON loose standardization approach
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
RT-level TPG Exploiting High-Level Synthesis Information
VTS '99 Proceedings of the 1999 17TH IEEE VLSI Test Symposium
A Domain Coverage Metric for the Validation of Behavioral VHDL Descriptions
ITC '00 Proceedings of the 2000 IEEE International Test Conference
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Syntax-Directed Construction of Value Dependence Graphs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards automation of checklist-based code-reviews
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Designing reliable systems from reliable components using the context-dependent constraint concept
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Efficient Strategies for Integration and Regression Testing of OO Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Stochastic Model of Human Errors in Software Development: Impact of Repair Times
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Increased Software Reliability Through Input Validation Analysis and Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Criteria for Testing Polymorphic Relationships
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
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Journal of Computing Sciences in Colleges
Web application quality: supporting maintenance and testing
Information modeling for internet applications
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
A transition-based strategy for object-oriented software testing
Proceedings of the 2003 ACM symposium on Applied computing
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
NSDF: a computer network system description framework and its application to network security
Computer Networks: The International Journal of Computer and Telecommunications Networking
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
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
Product family testing: a survey
ACM SIGSOFT Software Engineering Notes
Data Generation for Path Testing
Software Quality Control
A neural net based approach to Test Oracle
ACM SIGSOFT Software Engineering Notes
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Recovery of PTUIE Handling from Source Codes through Recognizing Its Probable Properties
IEEE Transactions on Knowledge and Data Engineering
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Reliability Improvement of Web-Based Software Applications
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Generating test cases for web services using data perturbation
ACM SIGSOFT Software Engineering Notes
Decision Support for Test Management in Iterative and Evolutionary Development
Proceedings of the 19th IEEE international conference on Automated software engineering
Recovering binary class relationships: putting icing on the UML cake
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Improving student performance by evaluating how well students test their own programs
Journal on Educational Resources in Computing (JERIC)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
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
Assessment of a New Three-Group Software Quality Classification Technique: An Empirical Case Study
Empirical Software Engineering
Structural Testing Based on Minimum Kernels
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Resource-oriented software quality classification models
Journal of Systems and Software
Applications of synchronization coverage
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Towards the prioritization of regression test suites with data flow information
Proceedings of the 2005 ACM symposium on Applied computing
Stress testing real-time systems with genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
An effective testing method for end-user programmers
WEUSE I Proceedings of the first workshop on End-user software engineering
The effect of code coverage on fault detection under different testing profiles
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
Empirical Software Engineering
A Characterisation Schema for Software Testing Techniques
Empirical Software Engineering
SCL: a language for security testing of network applications
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
Test Order for Class-based Integration Testing of Java Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Teaching Automated Test Case Generation
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Reliability Evaluation ofWeb-Based Software Applications
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
High-level test generation for hardware testing and software validation
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
A method for the evaluation of behavioral fault models
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
A holistic approach to test-driven model checking
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Event-driven observability enhanced coverage analysis of C programs for functional validation
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
An efficient control-oriented coverage metric
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
gmTest: An Industry-Wide Database of VLSI Layouts for Quality Control
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
A coverage metric for the validation of interacting processes
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Model checking system software with CMC
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Coupling-based class integration and test order
Proceedings of the 2006 international workshop on Automation of software test
Optimal and adaptive testing with cost constraints
Proceedings of the 2006 international workshop on Automation of software test
A strategy to perform coverage testing of mobile applications
Proceedings of the 2006 international workshop on Automation of software test
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Journal of Electronic Testing: Theory and Applications
Results from introducing component-level test automation and test-driven development
Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
Testing and inspecting reusable product line components: first empirical results
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
Have things changed now?: an empirical study of bug characteristics in modern open source software
Proceedings of the 1st workshop on Architectural and system support for improving software dependability
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Packet decoding using context sensitive parsing
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
A lightweight approach to state based security testing
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Software Engineering
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
IEEE Transactions on Software Engineering
A Language-Driven Tool for Fault Injection in Distributed Systems
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Reducing verification effort in component-based software engineering through built-in testing
Information Systems Frontiers
Proceedings of the conference on Design, automation and test in Europe
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Journal of Integrated Design & Process Science
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
The impact of input domain reduction on search-based test data generation
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
A study of interleaving coverage criteria
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
Designing a combinatorial java unit testing tool
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Empirical-based recovery and maintenance of input error-correction features
Journal of Software Maintenance and Evolution: Research and Practice
IBM Journal of Research and Development - Business optimization
Software testing using imprecise OCL constraints as oracles
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
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
Regression testing based-on slicing of component-based software architectures
ISEC '08 Proceedings of the 1st India software engineering conference
Regression test selection on system requirements
ISEC '08 Proceedings of the 1st India software engineering conference
A tabu search algorithm for structural software testing
Computers and Operations Research
GA-based multiple paths test data generator
Computers and Operations Research
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
An automated technique for risk-based test case generation and prioritization
Proceedings of the 3rd international workshop on Automation of software test
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Proposing SQL statement coverage metrics
Proceedings of the fourth international workshop on Software engineering for secure systems
Better reliability assessment of database based application software
ICC'05 Proceedings of the 9th International Conference on Circuits
Search based software testing of object-oriented containers
Information Sciences: an International Journal
A defect-driven process for software quality improvement
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Automatically repairing event sequence-based GUI test suites for regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Embedded Software Testing Tool Supporting Multi-paradigm Views
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Leveraging User Interactions for In-Depth Testing of Web Applications
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
Covering code behavior on input validation in functional testing
Information and Software Technology
Automated test data generation using a scatter search approach
Information and Software Technology
Information and Software Technology
Service-Oriented Architectures Testing: A Survey
Software Engineering
CTrigger: exposing atomicity violation bugs from their hiding places
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Software execution processes as an evolving complex network
Information Sciences: an International Journal
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Search-based multi-paths test data generation for structure-oriented testing
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Maintaining and evolving GUI-directed test scripts
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A framework for testing query transformation rules
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Bridge the Gap between Software Test Process and Business Value: A Case Study
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Insight knowledge in search based software testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Dealing with inheritance in OO evolutionary testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Exploring XML Perturbation Techniques for Web Services Testing
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Test-data generation guided by static defect detection
Journal of Computer Science and Technology
Model-based testing approaches selection for software projects
Information and Software Technology
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Multi-agent-based integrated framework for intra-class testing of object-oriented software
Applied Soft Computing
Considering environmental function in reliability growth modeling from testing to operation
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
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
Quality emphasis at IBM's software engineering institute
IBM Systems Journal
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
An evaluation of differential evolution in software test data generation
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Research Issues in the Automated Testing of Ajax Applications
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
GUI path oriented test generation algorithms
IASTED-HCI '07 Proceedings of the Second IASTED International Conference on Human Computer Interaction
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing Test Automation and Test-Driven Development: An Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
An empirical evaluation of a language-based security testing technique
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Testing functional requirements using B model specifications
ACM SIGSOFT Software Engineering Notes
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Integration testing in software product line engineering: a model-based technique
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Model checking software via abstraction of loop transitions
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Unit testing using design by contract and equivalence partitions
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
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
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Evolutionary testing of object-oriented software
Proceedings of the 2010 ACM Symposium on Applied Computing
Immune and evolutionary approaches to software mutation testing
ICARIS'07 Proceedings of the 6th international conference on Artificial immune systems
Mathematical modeling of software reliability testing with imperfect debugging
Computers & Mathematics with Applications
A XML script-based testing tool for embedded softwares
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
No Code Required: Giving Users Tools to Transform the Web
No Code Required: Giving Users Tools to Transform the Web
Towards security testing with taint analysis and genetic algorithms
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
What went wrong: a taxonomy of video game bugs
Proceedings of the Fifth International Conference on the Foundations of Digital Games
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Parallel symbolic execution for structural test generation
Proceedings of the 19th international symposium on Software testing and analysis
Using program specific search operators in test data generation
ECC'10 Proceedings of the 4th conference on European computing conference
Lightweight, high-resolution monitoring for troubleshooting production systems
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Program-operators to improve test data generation search
WSEAS Transactions on Computers
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Formal definition of syntax and semantics for documenting variability in activity diagrams
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated incremental pairwise testing of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving data perturbation testing techniques for Web services
Information Sciences: an International Journal
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
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
Evaluating workloads using multi-comparative functional coverage
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Application of genetic algorithm and tabu search in software testing
COMPUTE '11 Proceedings of the Fourth Annual ACM Bangalore Conference
Change impact analysis for object-oriented programs evolved to aspect-oriented programs
Proceedings of the 2011 ACM Symposium on Applied Computing
Towards efficient measuring of web services API coverage
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Code coverage analysis in practice for large systems
Proceedings of the 33rd International Conference on Software Engineering
Designing test engine for computer-aided software testing tools
WSEAS Transactions on Computers
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
An empirical validation of a web fault taxonomy and its usage for web testing
Journal of Web Engineering
Software logical structure verification method by modeling implemented specification
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part III
New bounds for binary covering arrays using simulated annealing
Information Sciences: an International Journal
Enabling automated integration testing of cloud application services in virtualized environments
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
A simple approach for testing web service based applications
IICS'05 Proceedings of the 5th international conference on Innovative Internet Community Systems
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Use of TTCN-3 for software module testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Finding and ranking research directions for software testing
EuroSPI'05 Proceedings of the 12th European conference on Software Process Improvement
Using model-based test program generator for simulation validation
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Reliability enhancement in software testing – an agent-based approach for complex systems
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
A tool to automatically detect defects in c++ programs
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
A modern graphic flowchart layout tool
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Fault links: exploring the relationship between module and fault types
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
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
Modeling and simulation of tests for agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
A performance profile and test tool for development of embedded software using various report views
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Test data generation: a hybrid approach using cuckoo and tabu search
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part II
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
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Software quality assurance economics
Information and Software Technology
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
An architectural model for software testing lesson learned systems
Information and Software Technology
Software systems through complex networks science: review, analysis and applications
Proceedings of the First International Workshop on Software Mining
Evolutionary algorithms for the multi-objective test data generation problem
Software—Practice & Experience
Model-based testing of optimizing compilers
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Use of non-IT testers in software development
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Quality impact of introducing component-level test automation and test-driven development
EuroSPI'07 Proceedings of the 14th European conference on Software Process Improvement
EuroSPI'07 Proceedings of the 14th European conference on Software Process Improvement
A process for managing interaction between experimenters to get useful similar replications
Information and Software Technology
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model-Based static code analysis for MATLAB models
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Code coverage using intelligent water drop (IWD)
International Journal of Bio-Inspired Computation
An efficient software testing method by decision table verification
International Journal of Computer Applications in Technology
Evolutionary functional black-box testing in an industrial setting
Software Quality Control
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Model-based test case generation using symbolic execution
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
Improving scenario selection for simulations by run-time control-flow analysis
Proceedings of the 2013 Summer Computer Simulation Conference
Information Sciences: an International Journal
Neural network based black box testing
ACM SIGSOFT Software Engineering Notes
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.13 |