Functional Verification of Networked Embedded Systems
ISQED '05 Proceedings of the 6th International Symposium on Quality of Electronic Design
An integrated method for designing user interfaces based on tests
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Software Testing Education and Training in Hong Kong
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Systems architect and systems analyst: are these comparable roles?
Proceedings of the 2006 ACM SIGMIS CPR conference on computer personnel research: Forty four years of computer personnel research: achievements, challenges & the future
Testing aspect-oriented programming Pointcut Descriptors
Proceedings of the 2nd workshop on Testing aspect-oriented programs
Communications of the ACM - Software product line
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Towards a deeper understanding of test coverage
Journal of Software Maintenance and Evolution: Research and Practice
The engineering of expert systems testing process
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Finding errors in .net with feedback-directed random testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders
MLDM '07 Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition
Document-Oriented Views of Guideline Knowledge Bases
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Program Repair Suggestions from Graphical State-Transition Specifications
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Covering code behavior on input validation in functional testing
Information and Software Technology
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Testing-based Process for Evaluating Component Replaceability
Electronic Notes in Theoretical Computer Science (ENTCS)
The analysis of generative music programs
Organised Sound
Failure management development for integrated automotive safety-critical software systems
Proceedings of the 2009 ACM symposium on Applied Computing
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
A technique for retrospective computer validation of drug manufacturing software
International Journal of Computer Applications in Technology
Model based testing for agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Science of Computer Programming
Testing in Agent Oriented Methodologies
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Exploring XML Perturbation Techniques for Web Services Testing
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Automated UML models merging for web services testing
International Journal of Web and Grid Services
Adaptive random testing based on distribution metrics
Journal of Systems and Software
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Continuous testing for enterprise portal technology refresh
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Debugging complex software systems by means of pathfinder networks
Information Sciences: an International Journal
Usability testing with total-effort metrics
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Finding software metrics threshold values using ROC curves
Journal of Software Maintenance and Evolution: Research and Practice
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Requirements and tools for the debugging of multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Experimental study on GA-based path-oriented test data generation using branch distance
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Formal methods and testing
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
On the use of computational geometry to detect software faults at runtime
Proceedings of the 7th international conference on Autonomic computing
Study on application of .NET reflection in automated testing
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
A novel analysis space for pointer analysis and its application for bug finding
Science of Computer Programming
How do we collect data for software reliability estimation?
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
An effective fault aware test case prioritization by incorporating a fault localization technique
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
How did you specify your test suite
Proceedings of the IEEE/ACM international conference on Automated software engineering
Usage of multiple prediction models based on defect categories
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Using a web-based repository to integrate testing tools into programming courses
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Methodology supporting architecture validations (MAVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Performance evaluation of test process based on stochastic models
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Visualisation of test coverage for conformance tests of low level communication protocols
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Improving data perturbation testing techniques for Web services
Information Sciences: an International Journal
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
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Contract-driven testing of javascript code
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Test automation with TTCN-3 - state of the art and a future perspective
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Mod4J: a qualitative case study of model-driven software development
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Comparison of weighted grey relational analysis for software effort estimation
Software Quality Control
A test-driven approach to code search and its application to the reuse of auxiliary functionality
Information and Software Technology
Automated test case prioritization with reactive GRASP
Advances in Software Engineering - Special issue on software test automation
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Information Sciences: an International Journal
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
An automated framework for software test oracle
Information and Software Technology
Methodologies of safety-related software development
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Improving test coverage using merged classification tree
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
Service research challenges and solutions for the future internet
Winter Simulation Conference
The Minimal Failure-Causing Schema of Combinatorial Testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generation of tests for programming challenge tasks using evolution algorithms
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
A case study on the use of genetic algorithms to generate test cases for temporal systems
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Experimental comparison of different techniques to generate adaptive sequences
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Inferring test results for dynamic software product lines
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Using coverage to deploy formal verification in a simulation world
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Stochastic Model for QoS Assessment in Multi-tier Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Fault-based generation of test cases from UML-Models: approach and some experiences
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A service-oriented reference architecture for software testing tools
ECSA'11 Proceedings of the 5th European conference on Software architecture
Integrated language definition testing: enabling test-driven language development
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Test coverage criteria for agent interaction testing
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Small strategies for safety games
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Automatic testing environment for multi-core embedded software-ATEMES
Journal of Systems and Software
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Jartege: a tool for random generation of unit tests for java classes
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
Generating test data for specification-based tests via quasirandom sequences
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Towards model-driven testing of a web application generator
ICWE'05 Proceedings of the 5th international conference on Web Engineering
A semantic framework for test coverage
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Dependable Systems
Improving robustness testing of COTS OS extensions
ISAS'06 Proceedings of the Third international conference on Service Availability
Software coverage: a testing approach through ant colony optimization
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I
Is branch coverage a good measure of testing effectiveness?
Empirical Software Engineering and Verification
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
An approach to debug interactions in multi-agent system software tests
Information Sciences: an International Journal
Proceedings of the 34th International Conference on Software Engineering
RV'11 Proceedings of the Second international conference on Runtime verification
An empirical evaluation of several test-a-few strategies for testing particular conditions
Software—Practice & Experience
Software—Practice & Experience
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Chronobiology applied to the development of human behavior computational models
Journal of Ambient Intelligence and Smart Environments
Using regression testing to analyze the impact of changes to variability models on products
Proceedings of the 16th International Software Product Line Conference - Volume 1
Using coverage criteria on RepOK to reduce bounded-exhaustive test suites
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Choices, choices: comparing between CHOC'LATE and the classification-tree methodology
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement
Issue ownership activity in two large software projects
ACM SIGSOFT Software Engineering Notes
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
Use of non-IT testers in software development
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Validating ambient intelligence based ubiquitous computing systems by means of artificial societies
Information Sciences: an International Journal
A process for managing interaction between experimenters to get useful similar replications
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
Testing-based process for component substitutability
Software Testing, Verification & Reliability
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
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
Optimal Test Sequence Generation in State Based Testing Using Cuckoo Search
International Journal of Applied Evolutionary Computation
Automatic test case generation from functional requirements in NDT
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Coverage-directed observability-based validation for embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Review: Evaluation of the reliability and validity of GraphClick as a data extraction program
Computers in Human Behavior
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
Automatic testing of real-time graphics systems
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A test-based security certification scheme for web services
ACM Transactions on the Web (TWEB)
Guided test generation for web applications
Proceedings of the 2013 International Conference on Software Engineering
International Journal of Computer Applications in Technology
Search based software test data generation for structural testing: a perspective
ACM SIGSOFT Software Engineering Notes
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Designing multi-agent unit tests using systematic test design patterns-(extended version)
Engineering Applications of Artificial Intelligence
Using a real world project in a software testing course
Proceedings of the 45th ACM technical symposium on Computer science education
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Semi-automated Tool Recommender for Software Development Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
UI-design driven model-based testing
Innovations in Systems and Software Engineering
Testing context-aware services based on smartphones by agent based social simulation
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Hi-index | 0.00 |