Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
An experimental study of people creating spreadsheets
ACM Transactions on Information Systems (TOIS)
Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Spreadsheet-based interactive graphics: from prototype to tool
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Graphical techniques in a spreadsheet for specifying user interfaces
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Visual Languages and Applications
Visual Languages and Applications
Toward Visual Programming Languages for Steering Scientific Computations
IEEE Computational Science & Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
Steering Programs Via Time Travel
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
AVI '96 Proceedings of the workshop on Advanced visual interfaces
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Query-by-example: a data base language
IBM Systems Journal
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Proceedings of the 22nd international conference on Software engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
A generalised spreadsheet verification methodology
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
An empirical evaluation of a testing and debugging methodology for Excel
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Hi-index | 0.00 |