Certifying the reliability of software
IEEE Transactions on Software Engineering
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safeware: system safety and computers
Safeware: system safety and computers
Re-estimation of software reliability after maintenance
ICSE '97 Proceedings of the 19th international conference on Software engineering
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
An approach to large-scale collection of application usage data over the Internet
Proceedings of the 20th international conference on Software engineering
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
jRapture: A Capture/Replay tool for observation-based testing
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Extracting usability information from user interface events
ACM Computing Surveys (CSUR)
A Discipline of Programming
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Isolating cause-effect chains from computer programs
ACM SIGSOFT Software Engineering Notes
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Software Architecture-Based Adaptation for Pervasive Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
Testing for software reliability
Proceedings of the international conference on Reliable software
Scalable statistical bug isolation
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Causality: Models, Reasoning and Inference
Causality: Models, Reasoning and Inference
Causal inference for statistical fault localization
Proceedings of the 19th international symposium on Software testing and analysis
| Hi-index | 0.00 |
A program of research on methodology for "evidence-based" validation and improvement of electronic health record systems and related health information systems is proposed. This program would integrate existing ideas from software engineering and health informatics with new techniques for analyzing a combination of usage data, clinical data, and execution data, to support scientifically sound methods for measuring and enhancing the safety and efficacy of EHR systems.