A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Tools for coverage testing: necessary but not sufficient
Journal of Computing Sciences in Colleges
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducing development and maintenance efforts for web-based recommender applications
International Journal of Web Engineering and Technology
Introducing function extraction into software testing
ACM SIGMIS Database
A basis path testing framework for WS-BPEL composite services
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
An Investigation on Testing of Parallelized Code with OpenMP
IWOMP '07 Proceedings of the 3rd international workshop on OpenMP: A Practical Programming Model for the Multi-Core Era
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Basis path test suite and testing process for WS-BPEL
WSEAS Transactions on Computers
Covering code behavior on input validation in functional testing
Information and Software Technology
Strength Two Covering Arrays Construction Using a SAT Representation
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Models for software defects and testing strategies
ACM SIGSOFT Software Engineering Notes
The numerical risks of reduction operations in OpenMP
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
Testing in the Wild: The Social and Organisational Dimensions of Real World Practice
Computer Supported Cooperative Work
Automated testing for knowledge based systems
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
A Framework for Testing Semantic Web Services Using Model Checking
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Power fingerprinting in SDR & CR integrity assessment
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Multi-function system testing: composition of test sets
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Automated detection of injected faults in a differential equation solver
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Testing techniques in software engineering
Testing techniques in software engineering
Built-in data-flow integration testing in large-scale component-based systems
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
An automated framework for software test oracle
Information and Software Technology
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Effective black-box testing with genetic algorithms
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
Hi-index | 0.00 |