The psychology of computer programming
The psychology of computer programming
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Social processes and proofs of theorems and programs
Communications of the ACM
A program data flow analysis procedure
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
Art of Software Testing
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Standardized Development of Computer Software
Standardized Development of Computer Software
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Interactive Programming Environments
Interactive Programming Environments
Decision Table Languages and Systems
Decision Table Languages and Systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Completeness criteria for testing elementary program functions
ICSE '81 Proceedings of the 5th international conference on Software engineering
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
An automated program testing methodology and its implementation
ICSE '81 Proceedings of the 5th international conference on Software engineering
Automatic revision of formal test procedures
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Process design system an integrated set of software development tools
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Software design validation tool
Proceedings of the international conference on Reliable software
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
On mutation
On a political pamphlet from the middle ages
ACM SIGSOFT Software Engineering Notes
Computer system reliability and nuclear war
Communications of the ACM
Data flow analysis of recursive procedures
ACM SIGPLAN Notices
User Validation of Information System Requirements: Some Empirical Result
IEEE Transactions on Software Engineering
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Design complexity measurement and testing
Communications of the ACM
Fault Injection Experiments Using FIAT
IEEE Transactions on Computers
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
ACM Transactions on Computer Systems (TOCS)
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automatic tools for testing expert systems
Communications of the ACM
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
A heuristic approach for test case generation
CSC '91 Proceedings of the 19th annual conference on Computer Science
The Japanese approach: a better way to manage programmers?
Communications of the ACM
Modeling reliability growth during non-representative
Annals of Software Engineering
Validation of Computational Models Based on MultipleHeterogeneous Knowledge Sources
Computational & Mathematical Organization Theory
Design Verification of the WE 32106 Math Accelerator Unit
IEEE Design & Test
IEEE Expert: Intelligent Systems and Their Applications
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
IEEE Transactions on Knowledge and Data Engineering
Static analysis of programs as an aid to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Automated testing using executable formal specifications
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
ACM SIGSIM Simulation Digest
A strategy for evaluating a fuzzy case-based construction procurement selection system
Advances in Engineering Software
Validating an expert system for financial statement planning
Journal of Management Information Systems - Special issue: Organizational impact of group support systems, expert systems, and executive information systems
Integration of well posedness analysis in software engineering
Proceedings of the 2007 ACM symposium on Applied computing
Verification of instrumentation techniques for resource management of real-time systems
Journal of Systems and Software
SVTe: a tool to validate database schemas giving explanations
Proceedings of the 1st international workshop on Testing database systems
Information and Software Technology
Ensemble of software defect predictors: a case study
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Validating Access Control Configurations in J2EE Applications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Simple dynamic assertions for interactive program validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Guidance for test selection based on the cost of errors
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Validation of network measures as indicators of defective modules in software systems
PROMISE '09 Proceedings of the 5th International Conference on Predictor Models in Software Engineering
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A strategy for evaluating a fuzzy case-based construction procurement selection system
Advances in Engineering Software
Automated pseudo-live testing of firewall configuration enforcement
IEEE Journal on Selected Areas in Communications - Special issue on network infrastructure configuration
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Expert Systems with Applications: An International Journal
Information and Software Technology
Applications of rule-base coverage measures to expert system evaluation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Policy segmentation for intelligent firewall testing
NPSEC'05 Proceedings of the First international conference on Secure network protocols
Journal of Electronic Testing: Theory and Applications
An industrial case study of classifier ensembles for locating software defects
Software Quality Control
Influence of human factors in software quality and productivity
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
Robust performance testing for digital forensic tools
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Knowledge-based verification of clinical guidelines by detection of anomalies
Artificial Intelligence in Medicine
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Validating ambient intelligence based ubiquitous computing systems by means of artificial societies
Information Sciences: an International Journal
Analysis of performance regression testing data by transaction profiles
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.08 |