caa a22 4500 44583532X CHVBK 20180317145328.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s10515-011-0084-1 doi (NATIONALLICENCE)springer-10.1007/s10515-011-0084-1 Mining temporal specifications from object usage [Elektronische Daten] [Andrzej Wasylkowski, Andreas Zeller] A caller must satisfy the callee's precondition—that is, reach a state in which the callee may be called. Preconditions describe the state that needs to be reached, but not how to reach it. We combine static analysis with model checking to mine Fair Computation Tree Logic (CTL F ) formulas that describe the operations a parameter goes through: "In parseProperties(String xml), the parameter xml normally stems from getProperties().” Such operational preconditions can be learned from program code, and the code can be checked for their violations. Applied to AspectJ, our Tikanga prototype found 169 violations of operational preconditions, uncovering 7 unique defects and 27 unique code smells—with 52% true positives in the 25% top-ranked violations. Springer Science+Business Media, LLC, 2011 Automatic defect detection nationallicence Mining specifications nationallicence Temporal logic nationallicence Computation Tree Logic nationallicence Program analysis nationallicence Wasylkowski Andrzej Department of Computer Science, Saarland University, Saarbrücken, Germany aut Zeller Andreas Department of Computer Science, Saarland University, Saarbrücken, Germany aut Automated Software Engineering Springer US; http://www.springer-ny.com 18/3-4(2011-12-01), 263-292 0928-8910 18:3-4<263 2011 18 10515 https://doi.org/10.1007/s10515-011-0084-1 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10515-011-0084-1 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Wasylkowski Andrzej Department of Computer Science, Saarland University, Saarbrücken, Germany aut NATIONALLICENCE 700 1- Zeller Andreas Department of Computer Science, Saarland University, Saarbrücken, Germany aut NATIONALLICENCE 773 0- Automated Software Engineering Springer US; http://www.springer-ny.com 18/3-4(2011-12-01), 263-292 0928-8910 18:3-4<263 2011 18 10515 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer