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
Software Testing & Diagnostics: Theory & Practice
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Black-Box Evaluation of COTS Components Using Aspects and Metadata
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Consistent database sampling as a database prototyping approach
Journal of Software Maintenance: Research and Practice
JCrasher: an automatic robustness tester for Java
Software—Practice & Experience
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
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
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
A Threat Model Driven Approach for Security Testing
SESS '07 Proceedings of the Third International Workshop on Software Engineering for Secure Systems
A practical approach to testing GUI systems
Empirical Software Engineering
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Dynamic Detection of COTS Component Incompatibility
IEEE Software
Towards a deeper understanding of test coverage
Journal of Software Maintenance and Evolution: Research and Practice
Automating test case definition using a domain specific language
Proceedings of the 46th Annual Southeast Regional Conference on XX
On the Use of Uniform Random Generation of Automata for Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated pseudo-live testing of firewall configuration enforcement
IEEE Journal on Selected Areas in Communications - Special issue on network infrastructure configuration
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An open framework for managed regression testing
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Testing object-oriented software systems
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Building a test-ready abstraction of a behavioral model using CLP
TAP'10 Proceedings of the 4th international conference on Tests and proofs
Policy segmentation for intelligent firewall testing
NPSEC'05 Proceedings of the First international conference on Secure network protocols
Testing techniques in software engineering
Testing techniques in software engineering
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Measuring test properties coverage for evaluating UML/OCL model-based tests
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Praspel: a specification language for contract-based testing in PHP
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Towards model-driven testing of a web application generator
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Solving CSP including a universal quantification
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Error propagation monitoring on windows mobile-based devices
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Automated generation of test oracles using a model-driven approach
Information and Software Technology
On performance analysis of optical flow algorithms
Proceedings of the 15th international conference on Theoretical Foundations of Computer Vision: outdoor and large-scale real-world scene analysis
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
GUI testing assisted by human knowledge: Random vs. functional
Journal of Systems and Software
Hi-index | 0.01 |