A formal system for the specification of the syntax and translation of computer languages
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Automated testing using executable formal specifications
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Increased Software Reliability Through Input Validation Analysis and Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Efficient monitoring of parametric context-free patterns
Automated Software Engineering
Two case studies in grammar-based test generation
Journal of Systems and Software
Finding and understanding bugs in C compilers
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator
Proceedings of the 2012 Workshop on Dynamic Analysis
| Hi-index | 0.00 |
The problem of sharing information while protecting proprietary data in large computer files is reviewed. The author suggests certain guidelines for data protection in general-purpose, time-sharing systems, and develops a model of a secured shared file. ...