Challenging the Stigma of Formal Program Repair

Author(s):  
Bat-Chen Rothenberg
1994 ◽  
Vol 33 (03) ◽  
pp. 312-314 ◽  
Author(s):  
J. Michaelis

Abstract:In addition to the medical education in the Federal Republic of Germany which includes a compulsory Medical Informatics course there exists a formal program for professional qualification of physicians in Medical Informatics. After two years of clinical practice and 1.5 years of professional training at an authorized institution, a physician may receive in addition to the medical degree a “supplement Medical Informatics”. The qualification requirements are described in detail. Physicians with the additional Medical Informatics qualification perform responsible tasks in their medical domain and serve as partners for fully specialized Medical Informatics ex-’ perts in the solution of practical Medical Informatics problems. The formal qualification is available for more than 10 years, has become increasingly attractive, and is expected to grow with respect to future Medical Informatics developments.


2018 ◽  
Vol 53 (4) ◽  
pp. 465-480 ◽  
Author(s):  
Sumit Gulwani ◽  
Ivan Radiček ◽  
Florian Zuleger

2021 ◽  
Vol 20 (4) ◽  
pp. 18-34
Author(s):  
Md Rakibul Islam ◽  
Minhaz F. Zibran

A deep understanding of the common patterns of bug-fixing changes is useful in several ways: (a) such knowledge can help developers in proactively avoiding coding patterns that lead to bugs and (b) bug-fixing patterns are exploited in devising techniques for automatic bug localization and program repair. This work includes an in-depth quantitative and qualitative analysis over 4,653 buggy revisions of five software systems. Our study identifies 38 bug-fixing edit patterns and discovers 37 new patterns of nested code structures, which frequently host the bug-fixing edits. While some of the edit patterns were reported in earlier studies, these nesting patterns are new and were never targeted before.


IEEE Software ◽  
2021 ◽  
pp. 0-0
Author(s):  
Leonardo Trujillo ◽  
Omar M. Villanueva ◽  
Daniel E. Hernandez

Sign in / Sign up

Export Citation Format

Share Document