The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Characterizations of Reducible Flow Graphs
Journal of the ACM (JACM)
Algorithm 447: efficient algorithms for graph manipulation
Communications of the ACM
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
First version of a data flow procedure language
Programming Symposium, Proceedings Colloque sur la Programmation
Node listings for reducible flow graphs
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
A new approach to program testing
Proceedings of the international conference on Reliable software
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
Formal languages and their relation to automata
Formal languages and their relation to automata
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)
Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formally based static analysis of microcode
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Use of metaknowledge in the verification of knowledge-based systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Affect-chaining and dependency oriented flow analysis applied to queries of programs
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
ACM Computing Surveys (CSUR)
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Data Dependency Graphs for Ada Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
IEEE Transactions on Software Engineering
Data flow analysis of concurrent systems that use the rendezvous model of synchronization
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis of timing hazards in Ada programs
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Experience using the ASA algorithm teaching system
ACM SIGCSE Bulletin
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
A flexible architecture for building data flow analyzers
Proceedings of the 18th international conference on Software engineering
A software environment for teaching introductory algorithms
ACM SIGCUE Outlook
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
Toward new techniques to assess the software implementation process
ICSE '91 Proceedings of the 13th international conference on Software engineering
Exploring dataflow testing of arrays
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software quality assurance for CAD (tutorial)
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
ICSE '85 Proceedings of the 8th international conference on Software engineering
An integrated system for program testing using weak mutation and data flow analysis
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data Flow Analysis for Procedural Languages
Journal of the ACM (JACM)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Considerations for future programming language standards activities
Communications of the ACM
Incremental data flow analysis in a structured program editor
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Pascal program development aids
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
Data flow analysis of applicative programs using minimal function graphs
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A precise inter-procedural data flow algorithm
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using redundancies to find errors
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Using redundancies to find errors
ACM SIGSOFT Software Engineering Notes
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
Extending Typestate Checking Using Conditional Liveness Analysis
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria
IEEE Transactions on Software Engineering
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
On the working set concept for data-flow machines
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
An algebra for data flow anomaly detection
ICSE '84 Proceedings of the 7th international conference on Software engineering
The use of APL in a concurrent data flow environment
APL '82 Proceedings of the international conference on APL
BIGMAC II: A FORTRAN language augmentation tool
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Finite semantics: A technique for program testing
ICSE '79 Proceedings of the 4th international conference on Software engineering
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
High-level debugging assistance via optimizing compiler technology (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Behavioral-level test development
DAC '79 Proceedings of the 16th Design Automation Conference
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
On data flow guided program testing
ACM SIGPLAN Notices
An approach to efficient, fault tolerant programming
ACM SIGPLAN Notices
Application of a remote code generator
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Application of redundant computation in software performance analysis
Proceedings of the 5th international workshop on Software and performance
Protection Against External Errors in a Dedicated System
IEEE Transactions on Computers
IEEE Transactions on Computers
Application of redundant computation in program debugging
Journal of Systems and Software
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Detecting precise behavioral models
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Data flow analysis in the presence of procedure calls
IBM Journal of Research and Development
Solving a system of linear inequalities for generating test data
Journal of Computational and Applied Mathematics
Using information flow to analyze grammars
Journal of Computing Sciences in Colleges
SAS'10 Proceedings of the 17th international conference on Static analysis
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
ASSET: A life cycle verification and visibility system
Journal of Systems and Software
Language design and analyzability: a retrospective
Software—Practice & Experience
Utilising code smells to detect quality problems in TTCN-3 test suites
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Slicing droids: program slicing for smali code
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.02 |