A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Planning for verification, validation, and accreditation of modeling and simulation applications
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Determining component reliability using a testing index
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
The impact of test suite granularity on the cost-effectiveness of regression testing
Proceedings of the 24th International Conference on Software Engineering
Embedding built-in tests in hot spots of an object-oriented framework
ACM SIGPLAN Notices
A General Model of Unit Testing Efficacy
Software Quality Control
Reflective Fault-Tolerant Systems: From Experience to Challenges
IEEE Transactions on Computers
Max-CSP Approach for Software Diagnosis
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
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
A Strategy for Testing MetaObject Protocols in Reflective Architectures
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)
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
Improving web application testing with user session data
Proceedings of the 25th International Conference on Software Engineering
Fragment class analysis for testing of polymorphism in Java software
Proceedings of the 25th International Conference on Software Engineering
A framework for component deployment testing
Proceedings of the 25th International Conference on Software Engineering
Building Trust into OO Components Using a Genetic Analogy
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
A transition-based strategy for object-oriented software testing
Proceedings of the 2003 ACM symposium on Applied computing
WebUml: reverse engineering of web applications
Proceedings of the 2004 ACM symposium on Applied computing
A neural net based approach to Test Oracle
ACM SIGSOFT Software Engineering Notes
Flattening statecharts without explosions
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Fragment Class Analysis for Testing of Polymorphism in Java Software
IEEE Transactions on Software Engineering
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Testing Object Oriented Software
Proceedings of the 26th International Conference on Software Engineering
Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
An Approach to Generate the Thin-Threads from the UML Diagrams
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
On test suite composition and cost-effective regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Object naming analysis for reverse-engineered sequence diagrams
Proceedings of the 27th international conference on Software engineering
Proceedings of the 27th international conference on Software engineering
Stress testing real-time systems with genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
Journal of Software Maintenance and Evolution: Research and Practice
Model-based testing for applications derived from software product lines
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Automated replay and failure detection for web applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Reconstructing requirements coverage views from design and test using traceability recovery via LSI
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Static control-flow analysis for reverse engineering of UML sequence diagrams
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A holistic approach to test-driven model checking
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
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)
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
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
Automatically testing interacting software components
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
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
ICWE '06 Proceedings of the 6th international conference on Web engineering
An approach to generate test cases from use cases
ICWE '06 Proceedings of the 6th international conference on Web engineering
A case study of automatically creating test suites from web application field data
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Towards a fault model for AspectJ programs: step 1 -- pointcut faults
Proceedings of the 2nd workshop on Testing aspect-oriented programs
State-based testing of integration aspects
Proceedings of the 2nd workshop on Testing aspect-oriented programs
APTE: automated pointcut testing for AspectJ programs
Proceedings of the 2nd workshop on Testing aspect-oriented programs
Journal of Systems and Software
An empirical study into class testability
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Carving differential unit test cases from system test cases
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Test-driven specification: paradigm and automation
Proceedings of the 44th annual Southeast regional conference
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Ubiquitous RATs: how resource-aware run-time tests can improve ubiquitous software systems
Proceedings of the 6th international workshop on Software engineering and middleware
Testing Web-based applications: The state of the art and future trends
Information and Software Technology
Teaching students to build well formed object-oriented methods through refactoring
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Testing AspectJ programs using fault-based testing
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
A self-testing autonomic container
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Requirements for information systems model-based testing
Proceedings of the 2007 ACM symposium on Applied computing
Static Analysis of Object References in RMI-Based Java Software
IEEE Transactions on Software Engineering
Discovering accurate interclass test dependences
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
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
Information and Software Technology
JooJ: real-time support for avoiding cyclic dependencies
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
The CRSS metric for package design quality
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Efficient mining of iterative patterns for software specification discovery
Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
An empirical study of cycles among classes in Java
Empirical Software Engineering
Differential testing: a new approach to change detection
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Model-driven test-case construction
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
Differential testing: a new approach to change detection
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Model-driven test-case construction
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Testing randomized software by means of statistical hypothesis tests
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Towards leveraging model transformation to support model-based testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards a pattern language approach to establishing personal authoring environments in e-learning
WBED'07 Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2
A genetic approach for random testing of database systems
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Journal of Systems and Software
Synthesis of system state models
ACM SIGPLAN Notices
Software testing using imprecise OCL constraints as oracles
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Generative hierarchical contracts for conformance testing of sequential containers
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Software testing processes as a linear dynamic system
Information Sciences: an International Journal
Towards a deeper understanding of test coverage
Journal of Software Maintenance and Evolution: Research and Practice
Estimating the coverage of the framework application reusable cluster-based test cases
Information and Software Technology
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Automatic feedback, control-based, stress and load testing
Proceedings of the 2008 ACM symposium on Applied computing
Test generation and minimization with "basic" statecharts
Proceedings of the 2008 ACM symposium on Applied computing
An approach for supporting system-level test scenarios generation from textual use cases
Proceedings of the 2008 ACM symposium on Applied computing
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
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
RBOSTP: risk-based optimization of software testing process part 1
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
RBOSTP: risk-based optimization of software testing process part 2
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Automated instrumentation of contracts and scenarios for requirements validation in .net
Proceedings of the 3rd international workshop on Automation of software test
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Multi-RQP: generating test databases for the functional testing of OLTP applications
Proceedings of the 1st international workshop on Testing database systems
Configuration-aware regression testing: an empirical study of sampling and prioritization
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Specification of Conditions for Error Diagnostics
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated unit testing intelligent agents in PDT
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Managing module dependencies to facilitate continuous testing
Information Processing Letters
Testing criteria for object oriented visual dataflow languages
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Automatic Testing of Object-Oriented Software
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Improving Customer Support Processes: A Case Study
PROFES '08 Proceedings of the 9th international conference on Product-Focused Software Process Improvement
Mining patterns and rules for software specification discovery
Proceedings of the VLDB Endowment
Analyzing clusters of class characteristics in OO applications
Journal of Systems and Software
State model extraction of a software component by observing its behavior
ACM SIGSOFT Software Engineering Notes
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Integrated object-oriented framework-based testing environment
ACS'08 Proceedings of the 8th conference on Applied computer scince
Service-Oriented Architectures Testing: A Survey
Software Engineering
A dependence graph-based representation for test coverage analysis of object-oriented programs
ACM SIGSOFT Software Engineering Notes
Model-based test cases synthesis using UML interaction diagrams
ACM SIGSOFT Software Engineering Notes
Testing polymorphism in object oriented systems for improving software quality
ACM SIGSOFT Software Engineering Notes
Test-driven design for introductory OO programming
Proceedings of the 40th ACM technical symposium on Computer science education
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Research and practice of distributed test platform
CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
Testing-based Process for Evaluating Component Replaceability
Electronic Notes in Theoretical Computer Science (ENTCS)
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Research and practice of distributed test platform
WSEAS Transactions on Computers
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
Invariant-based automatic testing of AJAX user interfaces
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Patterns for Maude Metalanguage Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Using test case patterns to estimate software development and quality management cost
Software Quality Control
Model based testing for agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A genetic programming approach to automated software repair
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Fast and precise points-to analysis
Information and Software Technology
Bridging Test and Model-Driven Approaches in Web Engineering
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Automating test case definition using a domain specific language
Proceedings of the 46th Annual Southeast Regional Conference on XX
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
Model-based testing approaches selection for software projects
Information and Software Technology
Measuring testing as a distributed component of the software life cycle
Journal of Computational Methods in Sciences and Engineering
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
State Based Robustness Testing for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Incremental Development of Model Transformation Chains Using Automated Testing
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Generating Reduced Tests for FSMs with Extra States
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Applying Test Case Metrics in a Tool Supported Iterative Architecture and Code Improvement Process
IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring design testability of a UML class diagram
Information and Software Technology
Information and Software Technology
CHOC'LATE: a framework for specification-based testing
Communications of the ACM
Aspect-oriented modeling and verification with finite state machines
Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
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
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Quality improvement and optimization of test cases: a hybrid genetic algorithm based approach
ACM SIGSOFT Software Engineering Notes
Towards the testing of power-aware software applications for wireless sensor networks
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A lightweight framework for testing database applications
Proceedings of the 2010 ACM Symposium on Applied Computing
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Mathematical modeling of software reliability testing with imperfect debugging
Computers & Mathematics with Applications
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
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
Harnessing web-based application similarities to aid in regression testing
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Coverage criteria for state based specifications
Formal methods and testing
Model-based testing in industry: a case study with two MBT tools
Proceedings of the 5th Workshop on Automation of Software Test
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
Evaluation of online testing for services: a case study
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Model-based test prioritizing: a comparative soft-computing approach and case studies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Empirical Software Engineering
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
Designing better fitness functions for automated program repair
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Modeling consumer-perceived web application fault severities for testing
Proceedings of the 19th international symposium on Software testing and analysis
Robustness testing for software components
Science of Computer Programming
An empirical study of overriding in open source Java
ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
An automated test oracle for XML processing programs
Proceedings of the First International Workshop on Software Test Output Validation
pTest: an adaptive testing tool for concurrent software on embedded multicore processors
Proceedings of the Conference on Design, Automation and Test in Europe
An enhanced test case selection approach for model-based testing: an industrial case study
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
The case for software evolution
Proceedings of the FSE/SDP workshop on Future of software engineering research
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
A generic approach to run mutation analysis
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Towards self-testing of component-based software
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Testing object-oriented software systems
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Harmonizing the test support for object-oriented legacy systems using state-of-the-art test tools
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Issues in testing collection class libraries
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Avoiding bugs pro-actively by change-oriented programming
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Testing techniques in software engineering
Testing techniques in software engineering
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
An approach for class testing from class contracts
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A Pareto ant colony algorithm applied to the class integration and test order problem
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Reducing the cost of model-based testing through test case diversity
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Parallel points-to analysis for multi-core machines
Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers
A test-driven approach to code search and its application to the reuse of auxiliary functionality
Information and Software Technology
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Using conditional mutation to increase the efficiency of mutation analysis
Proceedings of the 6th International Workshop on Automation of Software Test
Applying modeling & simulation to the software testing process: one test oracle solution
ACMOS'05 Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation
Towards efficient measuring of web services API coverage
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
A decision support system for the classification of software coding faults: a research abstract
Proceedings of the 33rd International Conference on Software Engineering
A method facilitating integration testing of embedded software
Proceedings of the Ninth International Workshop on Dynamic Analysis
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Reducing the number of unit tests with design by contract
Proceedings of the 12th International Conference on Computer Systems and Technologies
Automating unit and integration testing with partial oracles
Software Quality Control
Proceedings of the 14th international conference on Model driven engineering languages and systems
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
Diagnosing errors in dbc programs using constraint programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Coverage-Based, prioritized testing using neural network clustering
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Difficulties in establishing a defect management process: a case study
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
Distributed load tests with TTCN-3
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
FlexTest: an aspect-oriented framework for unit testing
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Generating test data for specification-based tests via quasirandom sequences
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Generating model-based test cases from natural language requirements for space application software
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
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
UCM-Driven testing of web applications
SDL'05 Proceedings of the 12th international conference on Model Driven
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Regression test selection for testable classes
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Using anti-ant-like agents to generate test threads from the UML diagrams
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A method for modeling and testing exceptions in component-based software development
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Dependable Systems
Assessing real-time component contracts through built-in evolutionary testing
Component-Based Software Development for Embedded Systems
ACM SIGSOFT Software Engineering Notes
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
A testing strategy for abstract classes
Software Testing, Verification & Reliability
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Proceedings of the 34th International Conference on Software Engineering
Dataflow testing of java programs with DFC
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
On reducing test length for FSMs with extra states
Software Testing, Verification & Reliability
JSART: javascript assertion-based regression testing
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Measuring test case similarity to support test suite understanding
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Contracting processes and structures for systems-of-systems acquisition
Systems Engineering
Runtime debugging using reverse-engineered UML
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Formally defining a graphical language for monitoring and checking object interactions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Architecture-centric fault tolerance with exception handling
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Coverage-oriented, prioritized testing: a fuzzy clustering approach and case study
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Designing fault injection experiments using state-based model to test a space software
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Bow tie testing: a testing pattern for product lines
Proceedings of the 16th European Conference on Pattern Languages of Programs
Software and Systems Modeling (SoSyM)
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
Automated generation of test oracles using a model-driven approach
Information and Software Technology
Generating better partial covering arrays by modeling weights on sub-product lines
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Testing-based process for component substitutability
Software Testing, Verification & Reliability
Code-based prioritization: a pre-testing effort to minimize post-release failures
Innovations in Systems and Software Engineering
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic test case generation from functional requirements in NDT
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
ACM SIGSOFT Software Engineering Notes
The crosscutting impact of the AOSD Brazilian research community
Journal of Systems and Software
A multiple case study of design pattern decay, grime, and rot in evolving software systems
Software Quality Control
Test-based SPL extraction: an exploratory study
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Mining behavior models from enterprise web applications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
A critical review of various testing techniques in aspect-oriented software systems
ACM SIGSOFT Software Engineering Notes
Current challenges in automatic software repair
Software Quality Control
A metric towards evaluating understandability of state machines: An empirical study
Information and Software Technology
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Recovering test-to-code traceability using slicing and textual analysis
Journal of Systems and Software
| Hi-index | 0.02 |