Communications of the ACM
Machine learning of inductive bias
Machine learning of inductive bias
Specification directed module testing
IEEE Transactions on Software Engineering
A Recursion Theoretic Approach to Program Testing
IEEE Transactions on Software Engineering
Automated Concept Acquisition in Noisy Environments
IEEE Transactions on Pattern Analysis and Machine Intelligence
Completely validated software: test adequacy and program mutation (panel session)
ICSE '89 Proceedings of the 11th international conference on Software engineering
The coupling effect: fact or fiction
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
Generation of test cases for simple Prolog programs
Acta Cybernetica
Editorial: Advice to Machine Learning Authors
Machine Learning
A Fortran language system for mutation-based software testing
Software—Practice & Experience
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Using interactive concept learning for knowledge-base validation and verification
Validation, verification and test of knowledge-based systems
Declarative Bias for Specific-to-General ILP Systems
Machine Learning - Special issue on bias evaluation and selection
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
A Methodology for LISP Program Construction from Examples
Journal of the ACM (JACM)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concept Formation and Knowledge Revision
Concept Formation and Knowledge Revision
Inductive Logic Programming: From Machine Learning to Software Engineering
Inductive Logic Programming: From Machine Learning to Software Engineering
Test-Case Generation from Prolog-Based Specifications
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Exploring the Software Development Trilogy
IEEE Software
Automated black-box testing of functional correctness using function approximation
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
The Crystallizing Substochastic Sequential Machine Extractor: CrySSMEx
Neural Computation
Software testing by active learning for commercial games
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
The practical assessment of test sets with inductive inference techniques
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Increasing functional coverage by inductive testing: a case study
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Assessing test adequacy for black-box systems without specifications
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Model-Based testing and model inference
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A Value-Based Framework for Software Evolutionary Testing
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |