An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries.

Dave W. Binkley David W. Binkley http://www.cs.loyola.edu/~binkley/ https://scholar.google.com/citations?user=wY56fjQAAAAJ https://dl.acm.org/profile/81100259861 https://orcid.org/0000-0003-0059-4024 https://www.wikidata.org/entity/Q40240273 Loyola University Maryland, Department of Computer Science, Baltimore, MD, USA

Quentin Stiévenart Dave W. Binkley Coen De Roover An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries. 112453 2025 228 J. Syst. Softw. https://doi.org/10.1016/j.jss.2025.112453 db/journals/jss/jss228.html#StievenartBR25 streams/journals/jss

Seongmin Lee 0001 Dave W. Binkley Robert Feldt Nicolas Gold Shin Yoo Causal program dependence analysis. 103208 2025 240 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2024.103208 db/journals/scp/scp240.html#LeeBFGY25 streams/journals/scp

Linas Vidziunas David W. Binkley Leon Moonen The Impact of Program Reduction on Automated Program Repair. 337-349 2024 ICSME https://doi.org/10.1109/ICSME58944.2024.00039 conf/icsm/2024 db/conf/icsm/icsme2024.html#VidziunasBM24

Linas Vidziunas David W. Binkley Leon Moonen The Impact of Program Reduction on Automated Program Repair. 2024 abs/2408.01134 CoRR https://doi.org/10.48550/arXiv.2408.01134 db/journals/corr/corr2408.html#abs-2408-01134 streams/journals/corr

Quentin Stiévenart Dave W. Binkley Coen De Roover An empirical evaluation of quasi-static executable slices. 111666 2023 June 200 J. Syst. Softw. https://doi.org/10.1016/j.jss.2023.111666 db/journals/jss/jss200.html#StievenartBR23

Quentin Stiévenart David W. Binkley Coen De Roover Dynamic Slicing of WebAssembly Binaries. 84-96 2023 ICSME https://doi.org/10.1109/ICSME58846.2023.00020 conf/icsm/2023 db/conf/icsm/icsme2023.html#StievenartBR23

Dave W. Binkley Leon Moonen Sibren Isaacman Featherweight assisted vulnerability discovery. 106844 2022 146 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2022.106844 https://www.wikidata.org/entity/Q113315605 db/journals/infsof/infsof146.html#BinkleyMI22

Quentin Stiévenart David W. Binkley Coen De Roover Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. 2031-2042 2022 ICSE https://doi.org/10.1145/3510003.3510070 https://www.wikidata.org/entity/Q131109118 conf/icse/2022 db/conf/icse/icse2022.html#StievenartBR22 Dave W. Binkley Leon Moonen Assessing the Impact of Execution Environment on Observation-Based Slicing. 40-44 2022 SCAM https://doi.org/10.1109/SCAM55253.2022.00010 conf/scam/2022 db/conf/scam/scam2022.html#BinkleyM22

David W. Binkley Leon Moonen Sibren Isaacman Featherweight Assisted Vulnerability Discovery. 2022 abs/2202.02679 CoRR https://arxiv.org/abs/2202.02679 db/journals/corr/corr2202.html#abs-2202-02679

David W. Binkley Leon Moonen Assessing the Impact of Execution Environment on Observation-Based Slicing. 2022 abs/2208.13244 CoRR https://doi.org/10.48550/arXiv.2208.13244 db/journals/corr/corr2208.html#abs-2208-13244

Jack R. Toohey M. S. Raunak 0001 Dave W. Binkley From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively. 77-85 2021 54 Computer 8 https://doi.org/10.1109/MC.2021.3079921 db/journals/computer/computer54.html#TooheyRB21

Seongmin Lee 0001 Dave W. Binkley Robert Feldt Nicolas Gold Shin Yoo Observation-based approximate dependency modeling and its use for program slicing. 110988 2021 179 J. Syst. Softw. https://doi.org/10.1016/j.jss.2021.110988 https://www.wikidata.org/entity/Q111900652 db/journals/jss/jss179.html#LeeBFGY21

Animesh Chaturvedi 0001 Aruna Tiwari Dave W. Binkley Shubhangi Chaturvedi Service Evolution Analytics: Change and Evolution Mining of a Distributed System. 137-148 2021 68 IEEE Trans. Engineering Management 1 https://doi.org/10.1109/TEM.2020.2987641 db/journals/tem/tem68.html#0001TBC21

Animesh Chaturvedi 0001 Dave W. Binkley Web Service Slicing: Intra and Inter-Operational Analysis to Test Changes. 930-943 2021 14 IEEE Trans. Serv. Comput. 3 https://doi.org/10.1109/TSC.2018.2821157 db/journals/tsc/tsc14.html#ChaturvediB21

Quentin Stiévenart David W. Binkley Coen De Roover QSES: Quasi-Static Executable Slices. 209-213 2021 SCAM https://doi.org/10.1109/SCAM52516.2021.00033 conf/scam/2021 db/conf/scam/scam2021.html#StievenartBR21

Seongmin Lee 0001 Dave W. Binkley Robert Feldt Nicolas Gold Shin Yoo Causal Program Dependence Analysis. 2021 abs/2104.09107 CoRR https://arxiv.org/abs/2104.09107 db/journals/corr/corr2104.html#abs-2104-09107

Seongmin Lee 0001 Dave W. Binkley Nicolas Gold Syed S. Islam Jens Krinke Shin Yoo Evaluating lexical approximation of program dependence. 2020 160 J. Syst. Softw. https://doi.org/10.1016/j.jss.2019.110459 https://www.wikidata.org/entity/Q126845177 db/journals/jss/jss160.html#LeeBGIKY20

Leon Moonen David W. Binkley Sydney Pugh On Adaptive Change Recommendation. 110550 2020 164 J. Syst. Softw. https://doi.org/10.1016/j.jss.2020.110550 db/journals/jss/jss164.html#MoonenBP20

Dave W. Binkley James Glenn Abdullah Alsharif Phil McMinn An Investigation into the Effect of Control and Data Dependence Paths on Predicate Testability. 160-170 2020 SCAM https://doi.org/10.1109/SCAM51674.2020.00023 conf/scam/2020 db/conf/scam/scam2020.html#BinkleyGAM20

Abdallah Qusef Mahmoud O. Elish Dave W. Binkley An Exploratory Study of the Relationship Between Software Test Smells and Fault-Proneness. 139526-139536 2019 7 IEEE Access https://doi.org/10.1109/ACCESS.2019.2943488 db/journals/access/access7.html#QusefEB19

David W. Binkley Nicolas Gold Syed S. Islam Jens Krinke Shin Yoo A comparison of tree- and line-oriented observational slicing. 3077-3113 2019 24 Empir. Softw. Eng. 5 https://doi.org/10.1007/s10664-018-9675-9 https://www.wikidata.org/entity/Q128539863 db/journals/ese/ese24.html#BinkleyGIKY19

David W. Binkley Marcia Davis Dawn J. Lawrie Christopher Morrell To CamelCase or under_score. 177 2019 ICPC https://doi.org/10.1109/ICPC.2019.00035 https://dl.acm.org/citation.cfm?id=3339106 conf/iwpc/2019 db/conf/iwpc/icpc2019.html#BinkleyDLM19 Seongmin Lee 0001 David W. Binkley Robert Feldt Nicolas Gold Shin Yoo MOAD: Modeling Observation-Based Approximate Dependency. 12-22 2019 SCAM https://doi.org/10.1109/SCAM.2019.00011 conf/scam/2019 db/conf/scam/scam2019.html#LeeBFGY19

Earl T. Barr David W. Binkley Mark Harman Mohamed Nassim Seghir Sub-Turing Islands in the Wild. 2019 abs/1905.12734 CoRR http://arxiv.org/abs/1905.12734 db/journals/corr/corr1905.html#abs-1905-12734

Thomas Rolfsnes Leon Moonen Stefano Di Alesio Razieh Behjati Dave W. Binkley Aggregating Association Rules to Improve Change Recommendation. 987-1035 2018 23 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-017-9560-y db/journals/ese/ese23.html#RolfsnesMABB18

Leon Moonen Thomas Rolfsnes Dave W. Binkley Stefano Di Alesio What are the effects of history length and age on mining software change impact? 2362-2397 2018 23 Empir. Softw. Eng. 4 https://doi.org/10.1007/s10664-017-9588-z https://www.wikidata.org/entity/Q130188765 db/journals/ese/ese23.html#MoonenRBA18

Dave W. Binkley Dawn J. Lawrie Christopher Morrell The need for software specific natural language techniques. 2398-2425 2018 23 Empir. Softw. Eng. 4 https://doi.org/10.1007/s10664-017-9566-5 db/journals/ese/ese23.html#BinkleyLM18

Tom Lusco David W. Binkley Ron Ice Modeling for Stakeholder Engagement. 116-119 2018 ICSA Companion https://doi.org/10.1109/ICSA-C.2018.00039 https://doi.ieeecomputersociety.org/10.1109/ICSA-C.2018.00039 conf/icsa/2018c db/conf/icsa/icsa2018c.html#LuscoBI18 Seongmin Lee 0001 David W. Binkley Nicolas Gold Syed S. Islam Jens Krinke Shin Yoo MOBS: multi-operator observation-based slicing using lexical approximation of program dependence. 302-303 2018 ICSE (Companion Volume) https://doi.org/10.1145/3183440.3194981 https://ieeexplore.ieee.org/document/8449550 conf/icse/2018c db/conf/icse/icse2018c.html#LeeBGIKY18 Dawn J. Lawrie Dave W. Binkley On the Value of Bug Reports for Retrieval-Based Bug Localization. 524-528 2018 ICSME https://doi.org/10.1109/ICSME.2018.00048 https://doi.ieeecomputersociety.org/10.1109/ICSME.2018.00048 conf/icsm/2018 db/conf/icsm/icsme2018.html#LawrieB18 Sydney Pugh David W. Binkley Leon Moonen [Research Paper] The Case for Adaptive Change Recommendation. 129-138 2018 SCAM https://doi.org/10.1109/SCAM.2018.00022 https://doi.ieeecomputersociety.org/10.1109/SCAM.2018.00022 conf/scam/2018 db/conf/scam/scam2018.html#PughBM18 Sydney Pugh David W. Binkley Change Impact using Dynamic History Analysis: (Abstract Only). 275 2018 SIGCSE https://doi.org/10.1145/3159450.3162347 conf/sigcse/2018 db/conf/sigcse/sigcse2018.html#PughB18

Shin Yoo David W. Binkley Roger D. Eastman Observational slicing based on visual semantics. 60-78 2017 129 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.04.009 db/journals/jss/jss129.html#YooBE17

Thomas Rolfsnes Leon Moonen David W. Binkley Predicting relevance of change recommendations. 694-705 2017 ASE https://doi.org/10.1109/ASE.2017.8115680 https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115680 http://dl.acm.org/citation.cfm?id=3155649 conf/kbse/2017 db/conf/kbse/ase2017.html#RolfsnesMB17 David W. Binkley Nicolas Gold Syed S. Islam Jens Krinke Shin Yoo Tree-Oriented vs. Line-Oriented Observation-Based Slicing. 21-30 2017 SCAM https://doi.org/10.1109/SCAM.2017.11 https://doi.ieeecomputersociety.org/10.1109/SCAM.2017.11 conf/scam/2017 db/conf/scam/scam2017.html#BinkleyGIKY17 Nicolas E. Gold David W. Binkley Mark Harman Syed S. Islam Jens Krinke Shin Yoo Generalized observational slicing for tree-represented modelling languages. 547-558 2017 ESEC/SIGSOFT FSE https://doi.org/10.1145/3106237.3106304 conf/sigsoft/2017 db/conf/sigsoft/fse2017.html#GoldBHIKY17

David W. Binkley Daniel Heinz Dawn J. Lawrie Justin Overfelt Source code analysis with LDA. 893-920 2016 28 J. Softw. Evol. Process. 10 https://doi.org/10.1002/smr.1802 https://www.wikidata.org/entity/Q110511705 db/journals/smr/smr28.html#BinkleyHLO16

Syed S. Islam David W. Binkley PORBS: A parallel observation-based slicer. 1-3 2016 ICPC https://doi.org/10.1109/ICPC.2016.7503745 https://doi.ieeecomputersociety.org/10.1109/ICPC.2016.7503745 conf/iwpc/2016 db/conf/iwpc/icpc2016.html#IslamB16 Yibiao Yang Mark Harman Jens Krinke Syed S. Islam David W. Binkley Yuming Zhou Baowen Xu An empirical study on dependence clusters for effort-aware fault-proneness prediction. 296-307 2016 ASE https://doi.org/10.1145/2970276.2970353 https://ieeexplore.ieee.org/document/7582767/ conf/kbse/2016 db/conf/kbse/ase2016.html#YangHKIBZX16 Leon Moonen Stefano Di Alesio David W. Binkley Thomas Rolfsnes Practical guidelines for change recommendation using association rule mining. 732-743 2016 ASE https://doi.org/10.1145/2970276.2970327 https://ieeexplore.ieee.org/document/7582809/ conf/kbse/2016 db/conf/kbse/ase2016.html#MoonenABR16 Thomas Rolfsnes Leon Moonen Stefano Di Alesio Razieh Behjati Dave W. Binkley Improving change recommendation using aggregated association rules. 73-84 2016 MSR https://doi.org/10.1145/2901739.2901756 conf/msr/2016 db/conf/msr/msr2016.html#RolfsnesMABB16 David W. Binkley Dawn J. Lawrie A Case for Software Specific Natural Language Techniques. 187-196 2016 SCAM https://doi.org/10.1109/SCAM.2016.27 https://doi.ieeecomputersociety.org/10.1109/SCAM.2016.27 conf/scam/2016 db/conf/scam/scam2016.html#BinkleyL16 Leon Moonen Stefano Di Alesio Thomas Rolfsnes Dave W. Binkley Exploring the Effects of History Length and Age on Mining Software Change Impact. 207-216 2016 SCAM https://doi.org/10.1109/SCAM.2016.9 https://doi.ieeecomputersociety.org/10.1109/SCAM.2016.9 conf/scam/2016 db/conf/scam/scam2016.html#MoonenARB16 Thomas Rolfsnes Stefano Di Alesio Razieh Behjati Leon Moonen Dave W. Binkley Generalizing the Analysis of Evolutionary Coupling for Software Change Impact Analysis. 201-212 2016 SANER https://doi.org/10.1109/SANER.2016.101 https://doi.ieeecomputersociety.org/10.1109/SANER.2016.101 conf/wcre/2016 db/conf/wcre/saner2016.html#RolfsnesABMB16

Gabriele Bavota Abdallah Qusef Rocco Oliveto Andrea De Lucia Dave W. Binkley Are test smells really harmful? An empirical study. 1052-1094 2015 20 Empir. Softw. Eng. 4 https://doi.org/10.1007/s10664-014-9313-0 db/journals/ese/ese20.html#BavotaQOLB15

David W. Binkley Filippo Ricca Serge Demeyer Editorial of special section from Software Evolution Week 2014. 95-96 2015 65 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2015.03.005 db/journals/infsof/infsof65.html#BinkleyRD15

David W. Binkley Dawn J. Lawrie Christopher Uehlinger Daniel Heinz Enabling improved IR-based feature location. 30-42 2015 101 J. Syst. Softw. https://doi.org/10.1016/j.jss.2014.11.013 db/journals/jss/jss101.html#BinkleyLUH15

David W. Binkley Dawn J. Lawrie The impact of vocabulary normalization. 255-273 2015 27 J. Softw. Evol. Process. 4 https://doi.org/10.1002/smr.1710 db/journals/smr/smr27.html#BinkleyL15

David W. Binkley Árpád Beszédes Syed S. Islam Judit Jász Béla Vancsics Uncovering dependence clusters and linchpin functions. 141-150 2015 ICSME https://doi.org/10.1109/ICSM.2015.7332460 https://doi.ieeecomputersociety.org/10.1109/ICSM.2015.7332460 conf/icsm/2015 db/conf/icsm/icsme2015.html#BinkleyBIJV15 David W. Binkley Nicolas E. Gold Mark Harman Syed S. Islam Jens Krinke Shin Yoo ORBS and the limits of static slicing. 1-10 2015 SCAM https://doi.org/10.1109/SCAM.2015.7335396 https://doi.ieeecomputersociety.org/10.1109/SCAM.2015.7335396 conf/scam/2015 db/conf/scam/scam2015.html#BinkleyGHIKY15 Dawn J. Lawrie Dave W. Binkley Navigating source code with words. 71-80 2015 SCAM https://doi.org/10.1109/SCAM.2015.7335403 https://doi.ieeecomputersociety.org/10.1109/SCAM.2015.7335403 conf/scam/2015 db/conf/scam/scam2015.html#LawrieB15

Emily Hill 0001 David W. Binkley Dawn J. Lawrie Lori L. Pollock K. Vijay-Shanker An empirical study of identifier splitting techniques. 1754-1780 2014 19 Empir. Softw. Eng. 6 https://doi.org/10.1007/s10664-013-9261-0 db/journals/ese/ese19.html#HillBLPV14

Syed S. Islam Jens Krinke David W. Binkley Mark Harman Coherent clusters in source code. 1-24 2014 88 J. Syst. Softw. https://doi.org/10.1016/j.jss.2013.07.040 https://www.wikidata.org/entity/Q59608999 db/journals/jss/jss88.html#IslamKBH14

Abdallah Qusef Gabriele Bavota Rocco Oliveto Andrea De Lucia Dave W. Binkley Recovering test-to-code traceability using slicing and textual analysis. 147-168 2014 88 J. Syst. Softw. https://doi.org/10.1016/j.jss.2013.10.019 db/journals/jss/jss88.html#QusefBOLB14

David W. Binkley Dawn J. Lawrie Learning to Rank Improves IR in SE. 441-445 2014 ICSME https://doi.org/10.1109/ICSME.2014.70 https://doi.ieeecomputersociety.org/10.1109/ICSME.2014.70 conf/icsm/2014 db/conf/icsm/icsme2014.html#BinkleyL14 David W. Binkley Daniel Heinz Dawn J. Lawrie Justin Overfelt Understanding LDA in source code analysis. 26-36 2014 ICPC https://doi.org/10.1145/2597008.2597150 conf/iwpc/2014 db/conf/iwpc/icpc2014.html#BinkleyHLO14 Shin Yoo David W. Binkley Roger D. Eastman Seeing Is Slicing: Observation Based Slicing of Picture Description Languages. 175-184 2014 SCAM https://doi.org/10.1109/SCAM.2014.26 https://doi.ieeecomputersociety.org/10.1109/SCAM.2014.26 conf/scam/2014 db/conf/scam/scam2014.html#YooBE14 David W. Binkley Nicolas Gold Mark Harman Syed S. Islam Jens Krinke Shin Yoo ORBS: language-independent program slicing. 109-120 2014 SIGSOFT FSE https://doi.org/10.1145/2635868.2635893 conf/sigsoft/2014 db/conf/sigsoft/fse2014.html#BinkleyGHIKY14 Serge Demeyer Dave W. Binkley Filippo Ricca 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014 IEEE Computer Society 2014 978-1-4799-3752-3 https://ieeexplore.ieee.org/xpl/conhome/6736725/proceeding http://www.computer.org/csdl/proceedings/csmr-wcre/2014/3752/00/index.html CSMR-WCRE db/conf/csmr/csmr2014.html

Dave W. Binkley Marcia Davis Dawn J. Lawrie Jonathan I. Maletic Christopher Morrell Bonita Sharif The impact of identifier style on effort and comprehension. 219-276 2013 18 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-012-9201-4 db/journals/ese/ese18.html#BinkleyDLMMS13

Abdallah Qusef Gabriele Bavota Rocco Oliveto Andrea De Lucia David W. Binkley Evaluating test-to-code traceability recovery methods through controlled experiments. 1167-1191 2013 25 J. Softw. Evol. Process. 11 https://doi.org/10.1002/smr.1573 db/journals/smr/smr25.html#QusefBOLB13

David W. Binkley Nicolas Gold Mark Harman Syed S. Islam Jens Krinke Zheng Li 0002 Efficient Identification of Linchpin Vertices in Dependence Clusters. 7:1-7:35 2013 35 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/2491522.2491524 https://www.wikidata.org/entity/Q59609132 db/journals/toplas/toplas35.html#BinkleyGHIKL13

Lori L. Pollock David W. Binkley Dawn J. Lawrie Emily Hill 0001 Rocco Oliveto Gabriele Bavota Alberto Bacchelli 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013). 1537-1538 2013 ICSE https://doi.org/10.1109/ICSE.2013.6606775 https://doi.ieeecomputersociety.org/10.1109/ICSE.2013.6606775 http://dl.acm.org/citation.cfm?id=2487072 conf/icse/2013 db/conf/icse/icse2013.html#PollockBLHOBB04 Emily Hill 0001 Alberto Bacchelli Dave W. Binkley Bogdan Dit Dawn J. Lawrie Rocco Oliveto Which Feature Location Technique is Better? 408-411 2013 ICSM https://doi.org/10.1109/ICSM.2013.59 https://doi.ieeecomputersociety.org/10.1109/ICSM.2013.59 conf/icsm/2013 db/conf/icsm/icsm2013.html#HillBBDLO13 Dave W. Binkley Dawn J. Lawrie Emily Hill 0001 Janet E. Burge Ian G. Harris Regina Hebig Oliver Keszöcze Karl Reed John Slankas Task-Driven Software Summarization. 432-435 2013 ICSM https://doi.org/10.1109/ICSM.2013.65 https://doi.ieeecomputersociety.org/10.1109/ICSM.2013.65 https://www.wikidata.org/entity/Q57428518 conf/icsm/2013 db/conf/icsm/icsm2013.html#BinkleyLHBHHKRS13 David W. Binkley Dawn J. Lawrie Lori L. Pollock Emily Hill 0001 K. Vijay-Shanker A dataset for evaluating identifier splitters. 401-404 2013 MSR https://doi.org/10.1109/MSR.2013.6624055 https://doi.ieeecomputersociety.org/10.1109/MSR.2013.6624055 http://dl.acm.org/citation.cfm?id=2487158 conf/msr/2013 db/conf/msr/msr2013.html#BinkleyLPHV13 Gabriele Bavota Abdallah Qusef Rocco Oliveto Andrea De Lucia David W. Binkley An empirical analysis of the distribution of unit test smells and their impact on software maintenance. 56-65 2012 ICSM https://doi.org/10.1109/ICSM.2012.6405253 https://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405253 conf/icsm/2012 db/conf/icsm/icsm2012.html#BavotaQOLB12 Dave W. Binkley Dawn J. Lawrie Christopher Uehlinger Vocabulary normalization improves IR-based concept location. 588-591 2012 ICSM https://doi.org/10.1109/ICSM.2012.6405328 https://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405328 conf/icsm/2012 db/conf/icsm/icsm2012.html#BinkleyLU12

David W. Binkley Mark Harman Kiran Lakhotia FlagRemover: A testability transformation for transforming loop-assigned flags. 12:1-12:33 2011 20 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/2000791.2000796 https://www.wikidata.org/entity/Q59609375 db/journals/tosem/tosem20.html#BinkleyHL11

Nicolas Gold Jens Krinke Mark Harman David W. Binkley Cloning in Max/MSP Patches. 2011 ICMC https://hdl.handle.net/2027/spo.bbp2372.2011.034 conf/icmc/2011 db/conf/icmc/icmc2011.html#GoldKHB11 Kelly Androutsopoulos David W. Binkley David Clark 0001 Nicolas Gold Mark Harman Kevin Lano Zheng Li 0002 Model projection: simplifying models in response to restricting the environment. 291-300 2011 ICSE https://doi.org/10.1145/1985793.1985834 https://www.wikidata.org/entity/Q59609433 conf/icse/2011 db/conf/icse/icse2011.html#AndroutsopoulosBCGHLL11 Abdallah Qusef Gabriele Bavota Rocco Oliveto Andrea De Lucia David W. Binkley SCOTCH: Test-to-code traceability using slicing and conceptual coupling. 63-72 2011 ICSM https://doi.org/10.1109/ICSM.2011.6080773 https://doi.ieeecomputersociety.org/10.1109/ICSM.2011.6080773 conf/icsm/2011 db/conf/icsm/icsm2011.html#QusefBOLB11 Dawn J. Lawrie David W. Binkley Expanding identifiers to normalize source code vocabulary. 113-122 2011 ICSM https://doi.org/10.1109/ICSM.2011.6080778 https://doi.ieeecomputersociety.org/10.1109/ICSM.2011.6080778 conf/icsm/2011 db/conf/icsm/icsm2011.html#LawrieB11 David W. Binkley Matthew Hearn Dawn J. Lawrie Improving identifier informativeness using part of speech information. 203-206 2011 MSR https://doi.org/10.1145/1985441.1985471 conf/msr/2011 db/conf/msr/msr2011.html#BinkleyHL11 Abdallah Qusef Gabriele Bavota Rocco Oliveto Andrea De Lucia David W. Binkley SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter. 443-444 2011 WCRE https://doi.org/10.1109/WCRE.2011.68 https://doi.ieeecomputersociety.org/10.1109/WCRE.2011.68 conf/wcre/2011 db/conf/wcre/wcre2011.html#QusefBOLB11

David W. Binkley Mark Harman Youssef Hassoun Syed S. Islam Zheng Li 0002 Assessing the impact of global variables on program dependence and dependence clusters. 96-107 2010 83 J. Syst. Softw. 1 https://doi.org/10.1016/j.jss.2009.03.038 https://www.wikidata.org/entity/Q59609554 db/journals/jss/jss83.html#BinkleyHHIL10

Richard W. Barraclough David W. Binkley Sebastian Danicic Mark Harman Robert M. Hierons Ákos Kiss 0001 Mike Laurence Lahcen Ouarbya A trajectory-based strict semantics for program slicing. 1372-1386 2010 411 Theor. Comput. Sci. 11-13 https://doi.org/10.1016/j.tcs.2009.10.025 https://www.wikidata.org/entity/Q59609520 db/journals/tcs/tcs411.html#BarracloughBDHHKLO10

Jens Krinke Nicolas Gold Yue Jia 0001 David W. Binkley Distinguishing copies from originals in software clones. 41-48 2010 IWSC https://doi.org/10.1145/1808901.1808907 conf/iwsc/2010 db/conf/iwsc/iwsc2010.html#KrinkeGJB10 Nicolas Gold Jens Krinke Mark Harman David W. Binkley Issues in clone classification for dataflow languages. 83-84 2010 IWSC https://doi.org/10.1145/1808901.1808916 https://www.wikidata.org/entity/Q59609626 conf/iwsc/2010 db/conf/iwsc/iwsc2010.html#GoldKHB10 Jens Krinke Nicolas Gold Yue Jia 0001 David W. Binkley Cloning and copying between GNOME projects. 98-101 2010 MSR https://doi.org/10.1109/MSR.2010.5463290 https://doi.ieeecomputersociety.org/10.1109/MSR.2010.5463290 conf/msr/2010 db/conf/msr/msr2010.html#KrinkeGJB10 Syed S. Islam Jens Krinke David W. Binkley Mark Harman Coherent dependence clusters. 53-60 2010 PASTE https://doi.org/10.1145/1806672.1806683 https://www.wikidata.org/entity/Q59609568 conf/paste/2010 db/conf/paste/paste2010.html#IslamKBH10 Amy Wheeler Dave W. Binkley Subclass Instantiation Distribution. 23-32 2010 SCAM https://doi.org/10.1109/SCAM.2010.12 https://doi.ieeecomputersociety.org/10.1109/SCAM.2010.12 conf/scam/2010 db/conf/scam/scam2010.html#WheelerB10 Syed S. Islam Jens Krinke David W. Binkley Dependence cluster visualization. 93-102 2010 SOFTVIS https://doi.org/10.1145/1879211.1879227 conf/softvis/2010 db/conf/softvis/softvis2010.html#IslamKB10 Dawn J. Lawrie David W. Binkley Christopher Morrell Normalizing Source Code Vocabulary. 3-12 2010 WCRE https://doi.org/10.1109/WCRE.2010.10 https://doi.ieeecomputersociety.org/10.1109/WCRE.2010.10 conf/wcre/2010 db/conf/wcre/wcre2010.html#LawrieBM10 David W. Binkley Dawn J. Lawrie Development: Information Retrieval Applications. 231-242 2010 Encyclopedia of Software Engineering http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044371 reference/se/2010 db/reference/se/se2010.html#BinkleyL10 David W. Binkley Dawn J. Lawrie Maintenance and Evolution: Information Retrieval Applications. 454-463 2010 Encyclopedia of Software Engineering http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044704 reference/se/2010 db/reference/se/se2010.html#BinkleyL10a

David W. Binkley Henry Feild Dawn J. Lawrie Maurizio Pighin Increasing diversity: Natural language measures for software fault prediction. 1793-1803 2009 82 J. Syst. Softw. 11 https://doi.org/10.1016/j.jss.2009.06.036 db/journals/jss/jss82.html#BinkleyFLP09

David W. Binkley Dawn J. Lawrie Steve Maex Christopher Morrell Identifier length and limited programmer memory. 430-445 2009 74 Sci. Comput. Program. 7 https://doi.org/10.1016/j.scico.2009.02.006 https://www.wikidata.org/entity/Q114134873 db/journals/scp/scp74.html#BinkleyLMM09

Mark Harman David W. Binkley Keith B. Gallagher Nicolas Gold Jens Krinke Dependence clusters in source code. 2009 32 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/1596527.1596528 https://www.wikidata.org/entity/Q59609802 db/journals/toplas/toplas32.html#HarmanBGGK09 1:1-1:33

Phil McMinn David W. Binkley Mark Harman Empirical evaluation of a nesting testability transformation for evolutionary testing. 2009 18 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/1525880.1525884 https://www.wikidata.org/entity/Q59609813 db/journals/tosem/tosem18.html#McMinnBH09 11:1-11:27

David W. Binkley Marcia Davis Dawn J. Lawrie Christopher Morrell To camelcase or under_score. 158-167 2009 ICPC https://doi.org/10.1109/ICPC.2009.5090039 https://doi.ieeecomputersociety.org/10.1109/ICPC.2009.5090039 conf/iwpc/2009 db/conf/iwpc/icpc2009.html#BinkleyDLM09 David W. Binkley Mark Harman Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. 89-98 2009 SCAM https://doi.org/10.1109/SCAM.2009.18 https://doi.ieeecomputersociety.org/10.1109/SCAM.2009.18 https://www.wikidata.org/entity/Q59609839 conf/scam/2009 db/conf/scam/scam2009.html#BinkleyH09 Susan Horwitz Susan H. Rodger Maureen Biggers David W. Binkley C. Kolin Frantz Dawn Gundermann Susanne E. Hambrusch Steven Huss-Lederman Ethan V. Munson Barbara G. Ryder Monica Sweat Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. 163-167 2009 SIGCSE https://doi.org/10.1145/1508865.1508925 https://doi.org/10.1145/1539024.1508925 https://www.wikidata.org/entity/Q56814413 conf/sigcse/2009 db/conf/sigcse/sigcse2009.html#HorwitzRBBFGHHMRS09

David W. Binkley Nicolas Gold Mark Harman Zheng Li 0002 Kiarash Mahdavi An empirical study of the relationship between the concepts expressed in source code and dependence. 2287-2298 2008 81 J. Syst. Softw. 12 https://doi.org/10.1016/j.jss.2008.04.007 https://www.wikidata.org/entity/Q59609951 db/journals/jss/jss81.html#BinkleyGHLM08

Mark Harman André Baresel David W. Binkley Robert M. Hierons Lin Hu 0005 Bogdan Korel Phil McMinn Marc Roper Testability Transformation - Program Transformation to Improve Testability. 320-344 2008 Formal Methods and Testing https://doi.org/10.1007/978-3-540-78917-8_11 https://www.wikidata.org/entity/Q59610094 conf/fortest/2008 db/conf/fortest/fortest2008.html#HarmanBBHHKMR08 David W. Binkley Dawn J. Lawrie Steve Maex Christopher Morrell Impact of Limited Memory Resources. 83-92 2008 ICPC https://doi.org/10.1109/ICPC.2008.31 https://doi.ieeecomputersociety.org/10.1109/ICPC.2008.31 conf/iwpc/2008 db/conf/iwpc/icpc2008.html#BinkleyLMM08 David W. Binkley Nicolas Gold Mark Harman Zheng Li 0002 Kiarash Mahdavi Joachim Wegener Dependence Anti Patterns. 25-34 2008 ASE Workshops https://doi.org/10.1109/ASEW.2008.4686318 https://www.wikidata.org/entity/Q59609995 conf/kbse/2008w db/conf/kbse/asew2008.html#BinkleyGHLMW08 David W. Binkley Nicolas Gold Mark Harman Zheng Li 0002 Kiarash Mahdavi Evaluating Key Statements Analysis. 121-130 2008 SCAM https://doi.org/10.1109/SCAM.2008.40 https://doi.ieeecomputersociety.org/10.1109/SCAM.2008.40 https://www.wikidata.org/entity/Q59610018 conf/scam/2008 db/conf/scam/scam2008.html#BinkleyGHLM08 Dave W. Binkley Dependence Cluster Causes. 2008 Scalable Program Analysis http://drops.dagstuhl.de/opus/volltexte/2008/1571/ conf/dagstuhl/2008P8161 db/conf/dagstuhl/P8161.html#Binkley08

Dawn J. Lawrie Henry Feild David W. Binkley Quantifying identifier quality: an analysis of trends. 359-388 2007 12 Empir. Softw. Eng. 4 https://doi.org/10.1007/s10664-006-9032-2 https://www.wikidata.org/entity/Q122211847 db/journals/ese/ese12.html#LawrieFB07

Dawn J. Lawrie Christopher Morrell Henry Feild David W. Binkley Effective identifier names for comprehension and memory. 303-318 2007 3 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-007-0031-2 db/journals/isse/isse3.html#LawrieMFB07

Dawn J. Lawrie Henry Feild David W. Binkley An empirical study of rules for well-formed identifiers. 205-229 2007 19 J. Softw. Maintenance Res. Pract. 4 https://doi.org/10.1002/smr.350 db/journals/smr/smr19.html#LawrieFB07

David W. Binkley Mark Harman Jens Krinke Empirical study of optimization techniques for massive slicing. 2007 30 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/1290520.1290523 https://www.wikidata.org/entity/Q59610164 db/journals/toplas/toplas30.html#BinkleyHK07 3

David W. Binkley Nicolas Gold Mark Harman An empirical study of static program slice size. 2007 16 ACM Trans. Softw. Eng. Methodol. 2 https://doi.org/10.1145/1217295.1217297 https://www.wikidata.org/entity/Q59610142 db/journals/tosem/tosem16.html#BinkleyGH07 8

Timothy M. Meyers David W. Binkley An empirical study of slice-based cohesion and coupling metrics. 2007 17 ACM Trans. Softw. Eng. Methodol. 1 https://doi.org/10.1145/1314493.1314495 db/journals/tosem/tosem17.html#MeyersB07 2:1-2:27

David W. Binkley Rainer Koschke Spiros Mancoridis Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution. 797-798 2007 33 IEEE Trans. Software Eng. 12 https://doi.org/10.1109/TSE.2007.70765 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70765 db/journals/tse/tse33.html#BinkleyKM07

David W. Binkley Source Code Analysis: A Road Map. 104-119 2007 FOSE https://doi.org/10.1109/FOSE.2007.27 https://doi.ieeecomputersociety.org/10.1109/FOSE.2007.27 http://dl.acm.org/citation.cfm?id=1254713 conf/icse/2007fose db/conf/icse/fose2007.html#Binkley07 Dawn J. Lawrie Henry Feild David W. Binkley Extracting Meaning from Abbreviated Identifiers. 213-222 2007 SCAM https://doi.org/10.1109/SCAM.2007.17 https://doi.ieeecomputersociety.org/10.1109/SCAM.2007.17 conf/scam/2007 db/conf/scam/scam2007.html#LawrieFB07

David W. Binkley Sebastian Danicic Mark Harman John Howroyd Lahcen Ouarbya A formal relationship between program slicing and partial evaluation. 103-119 2006 18 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-005-0077-6 db/journals/fac/fac18.html#BinkleyDHHO06

Mark Harman Arun Lakhotia David W. Binkley Theory and algorithms for slicing unstructured programs. 549-565 2006 48 Inf. Softw. Technol. 7 https://doi.org/10.1016/j.infsof.2005.06.001 https://www.wikidata.org/entity/Q59610373 db/journals/infsof/infsof48.html#HarmanLB06

David W. Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss 0001 Bogdan Korel A formalisation of the relationship between forms of program slicing. 228-252 2006 62 Sci. Comput. Program. 3 https://doi.org/10.1016/j.scico.2006.04.007 https://www.wikidata.org/entity/Q59610260 db/journals/scp/scp62.html#BinkleyDGHKK06

David W. Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss 0001 Bogdan Korel Theoretical foundations of dynamic program slicing. 23-41 2006 360 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2006.01.012 https://www.wikidata.org/entity/Q59610367 db/journals/tcs/tcs360.html#BinkleyDGHKK06

David W. Binkley Mariano Ceccato Mark Harman Filippo Ricca Paolo Tonella Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. 698-717 2006 32 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2006.95 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.95 https://www.wikidata.org/entity/Q59610378 db/journals/tse/tse32.html#BinkleyCHRT06

Phil McMinn Mark Harman David W. Binkley Paolo Tonella The species per path approach to SearchBased test data generation. 13-24 2006 conf/issta/2006 ISSTA https://doi.org/10.1145/1146238.1146241 https://www.wikidata.org/entity/Q59610361 db/conf/issta/issta2006.html#McMinnHBT06 Dawn J. Lawrie Christopher Morrell Henry Feild David W. Binkley What's in a Name? A Study of Identifiers. 3-12 2006 conf/iwpc/2006 ICPC https://doi.org/10.1109/ICPC.2006.51 https://doi.ieeecomputersociety.org/10.1109/ICPC.2006.51 db/conf/iwpc/icpc2006.html#LawrieMFB06 Dawn J. Lawrie Henry Feild David W. Binkley Leveraged Quality Assessment using Information Retrieval Techniques. 149-158 2006 conf/iwpc/2006 ICPC https://doi.org/10.1109/ICPC.2006.34 https://doi.ieeecomputersociety.org/10.1109/ICPC.2006.34 db/conf/iwpc/icpc2006.html#LawrieFB06 Keith B. Gallagher David W. Binkley Mark Harman Stop-List Slicing. 11-20 2006 conf/scam/2006 SCAM https://doi.org/10.1109/SCAM.2006.30 https://doi.ieeecomputersociety.org/10.1109/SCAM.2006.30 https://www.wikidata.org/entity/Q59610356 db/conf/scam/scam2006.html#GallagherBH06 David W. Binkley Mark Harman Jens Krinke Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. 43-52 2006 conf/scam/2006 SCAM https://doi.org/10.1109/SCAM.2006.7 https://doi.ieeecomputersociety.org/10.1109/SCAM.2006.7 https://www.wikidata.org/entity/Q59610293 db/conf/scam/scam2006.html#BinkleyHK06 Dawn J. Lawrie Henry Feild David W. Binkley Syntactic Identifier Conciseness and Consistency. 139-148 2006 conf/scam/2006 SCAM https://doi.org/10.1109/SCAM.2006.31 https://doi.ieeecomputersociety.org/10.1109/SCAM.2006.31 db/conf/scam/scam2006.html#LawrieFB06 David W. Binkley Nicolas Gold Mark Harman Zheng Li 0002 Kiarash Mahdavi An Empirical Study of Executable Concept Slice Size. 103-114 2006 conf/wcre/2006 WCRE https://doi.org/10.1109/WCRE.2006.11 https://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11 https://www.wikidata.org/entity/Q59610274 db/conf/wcre/wcre2006.html#BinkleyGHLM06 David W. Binkley Mark Harman Jens Krinke Beyond Program Slicing, 06.11. - 11.11.2005 Beyond Program Slicing Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 05451 2006 db/conf/dagstuhl/P5451.html http://drops.dagstuhl.de/portals/05451/ Dagstuhl Seminar Proceedings

Nicolas E. Gold Mark Harman David W. Binkley Robert M. Hierons Unifying program slicing and concept assignment for higher-level executable source code extraction. 977-1006 2005 35 Softw. Pract. Exp. 10 https://doi.org/10.1002/spe.664 https://www.wikidata.org/entity/Q59610488 db/journals/spe/spe35.html#GoldHBH05

David W. Binkley Mariano Ceccato Mark Harman Filippo Ricca Paolo Tonella Automated Refactoring of Object Oriented Code into Aspects. 27-36 2005 conf/icsm/2005 ICSM https://doi.org/10.1109/ICSM.2005.27 https://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27 https://www.wikidata.org/entity/Q59610392 db/conf/icsm/icsm2005.html#BinkleyCHRT05 David W. Binkley Mark Harman Locating Dependence Clusters and Dependence Pollution. 177-186 2005 conf/icsm/2005 ICSM https://doi.org/10.1109/ICSM.2005.58 https://doi.ieeecomputersociety.org/10.1109/ICSM.2005.58 https://www.wikidata.org/entity/Q59610450 db/conf/icsm/icsm2005.html#BinkleyH05 David W. Binkley Mark Harman Forward slices are smaller than backward slices. 15-24 2005 conf/scam/2005 SCAM https://doi.org/10.1109/SCAM.2005.28 https://doi.ieeecomputersociety.org/10.1109/SCAM.2005.28 https://www.wikidata.org/entity/Q59610432 db/conf/scam/scam2005.html#BinkleyH05 David W. Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss 0001 Bogdan Korel Minimal Slicing and the Relationships Between Forms of Slicing. 45-56 2005 conf/scam/2005 SCAM https://doi.org/10.1109/SCAM.2005.18 https://doi.ieeecomputersociety.org/10.1109/SCAM.2005.18 https://www.wikidata.org/entity/Q59610456 db/conf/scam/scam2005.html#BinkleyDGHKK05 David W. Binkley Mark Harman Jens Krinke 05451 Abstracts Collection -- Beyond Program Slicing. 2005 Beyond Program Slicing http://drops.dagstuhl.de/opus/volltexte/2006/601 conf/dagstuhl/2005P5451 db/conf/dagstuhl/P5451.html#BinkleyHK05 Mark Harman David W. Binkley Jens Krinke 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. 2005 Beyond Program Slicing http://drops.dagstuhl.de/opus/volltexte/2006/584 conf/dagstuhl/2005P5451 db/conf/dagstuhl/P5451.html#HarmanBK05

David W. Binkley Mark Harman A survey of empirical results on program slicing. 105-178 2004 62 Adv. Comput. db/journals/ac/ac62.html#BinkleyH04 https://doi.org/10.1016/S0065-2458(03)62003-6 https://www.wikidata.org/entity/Q59610494

Mark Harman Lin Hu 0005 Malcolm Munro Xingyuan Zhang David W. Binkley Sebastian Danicic Mohammed Daoudi Lahcen Ouarbya Syntax-Directed Amorphous Slicing. 27-61 2004 11 Autom. Softw. Eng. 1 https://doi.org/10.1023/B:AUSE.0000008667.37988.11 https://www.wikidata.org/entity/Q59610566 db/journals/ase/ase11.html#HarmanHMZBDDO04

David W. Binkley Liz Burd Mark Harman Paolo Tonella Introduction. 293-295 2004 12 Softw. Qual. J. 4 https://doi.org/10.1023/B:SQJO.0000039789.23291.ee db/journals/sqj/sqj12.html#BinkleyBHT04

David W. Binkley Mark Harman Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. 715-735 2004 30 IEEE Trans. Software Eng. 11 https://doi.org/10.1109/TSE.2004.78 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.78 https://www.wikidata.org/entity/Q59610512 db/journals/tse/tse30.html#BinkleyH04

André Baresel David W. Binkley Mark Harman Bogdan Korel Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. 108-118 2004 conf/issta/2004 ISSTA https://doi.org/10.1145/1007512.1007527 db/conf/issta/issta2004.html#BareselBHK04 David W. Binkley Sebastian Danicic Tibor Gyimóthy Mark Harman Ákos Kiss 0001 Lahcen Ouarbya Formalizing Executable Dynamic and Forward Slicing. 43-52 2004 conf/scam/2004 SCAM https://doi.org/10.1109/SCAM.2004.13 https://doi.ieeecomputersociety.org/10.1109/SCAM.2004.13 https://www.wikidata.org/entity/Q59610537 db/conf/scam/scam2004.html#BinkleyDGHKO04 Mark Harman David W. Binkley Ranjit Singh Robert M. Hierons Amorphous Procedure Extraction. 85-94 2004 conf/scam/2004 SCAM https://doi.org/10.1109/SCAM.2004.4 https://doi.ieeecomputersociety.org/10.1109/SCAM.2004.4 https://www.wikidata.org/entity/Q59610506 db/conf/scam/scam2004.html#HarmanBSH04 Lin Hu 0005 Mark Harman Robert M. Hierons David W. Binkley Loop Squashing Transformations for Amorphous Slicing. 152-160 2004 conf/wcre/2004 WCRE https://doi.org/10.1109/WCRE.2004.26 https://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26 https://www.wikidata.org/entity/Q59610551 db/conf/wcre/wcre2004.html#HuHHB04 Timothy M. Meyers David W. Binkley Slice-Based Cohesion Metrics and Software Intervention. 256-265 2004 conf/wcre/2004 WCRE https://doi.org/10.1109/WCRE.2004.34 https://doi.ieeecomputersociety.org/10.1109/WCRE.2004.34 db/conf/wcre/wcre2004.html#MeyersB04

Mark Harman David W. Binkley Sebastian Danicic Amorphous program slicing. 45-64 2003 68 J. Syst. Softw. 1 https://doi.org/10.1016/S0164-1212(02)00135-8 https://www.wikidata.org/entity/Q59610606 db/journals/jss/jss68.html#HarmanBD03

David W. Binkley Mark Harman An Empirical Study of Predicate Dependence Levels and Trends. 330-340 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201212 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201212 http://dl.acm.org/citation.cfm?id=776856 db/conf/icse/icse2003.html#BinkleyH03 David W. Binkley Mark Harman A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. 44-53 2003 conf/icsm/2003 ICSM https://doi.org/10.1109/ICSM.2003.1235405 https://doi.ieeecomputersociety.org/10.1109/ICSM.2003.1235405 https://www.wikidata.org/entity/Q59610588 db/conf/icsm/icsm2003.html#BinkleyH03 David W. Binkley Mark Harman Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. 203- 2003 conf/scam/2003 SCAM https://doi.org/10.1109/SCAM.2003.1238046 https://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238046 https://www.wikidata.org/entity/Q59610646 db/conf/scam/scam2003.html#BinkleyH03 Keith B. Gallagher David W. Binkley An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. 316-322 2003 conf/wcre/2003 WCRE https://doi.org/10.1109/WCRE.2003.1287262 https://doi.ieeecomputersociety.org/10.1109/WCRE.2003.1287262 db/conf/wcre/wcre2003.html#GallagherB03 Marvin V. Zelkowitz Dolores R. Wallace David W. Binkley Experimental Validation of New Software Technology. 229-263 2003 Lecture Notes on Empirical Software Engineering https://doi.org/10.1142/9789812795588_0006 books/ws/03/JM2003 db/books/collections/JM2003.html#ZelkowitzWB03

Paul Anderson David W. Binkley Genevieve Rosay Tim Teitelbaum Flow insensitive points-to sets. 743-754 2002 44 Inf. Softw. Technol. 13 db/journals/infsof/infsof44.html#AndersonBRT02 https://doi.org/10.1016/S0950-5849(02)00105-2

David W. Binkley An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension. 97-106 2002 conf/iwpc/2002 IWPC https://doi.org/10.1109/WPC.2002.1021327 https://doi.ieeecomputersociety.org/10.1109/WPC.2002.1021327 db/conf/iwpc/iwpc2002.html#Binkley02 Mark Harman Nicolas Gold Robert M. Hierons David W. Binkley Code Extraction Algorithms which Unify Slicing and Concept Assignment. 11-21 2002 conf/wcre/2002 WCRE https://doi.org/10.1109/WCRE.2002.1173060 https://doi.ieeecomputersociety.org/10.1109/WCRE.2002.1173060 https://www.wikidata.org/entity/Q59610682 db/conf/wcre/wcre2002.html#HarmanGHB02 David W. Binkley Rob Capellini L. Ross Raszewski Christopher Smith An Implementation of and Experiment with Semantic Differencing. 82-91 2001 conf/icsm/2001 ICSM https://doi.org/10.1109/ICSM.2001.972714 https://doi.ieeecomputersociety.org/10.1109/ICSM.2001.972714 db/conf/icsm/icsm2001.html#BinkleyCRS01 Paul Anderson David W. Binkley Genevieve Rosay Tim Teitelbaum Flow Insensitive Points-To Sets. 81-91 2001 conf/scam/2001 SCAM https://doi.org/10.1109/SCAM.2001.972669 https://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972669 db/conf/scam/scam2001.html#AndersonBRT01

David W. Binkley Reducing the cost of regression testing. 35-36 2000 25 ACM SIGSOFT Softw. Eng. Notes 1 https://doi.org/10.1145/340855.340866 db/journals/sigsoft/sigsoft25.html#Binkley00

David W. Binkley L. Ross Raszewski Christopher Smith Mark Harman An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. 161-170 2000 conf/iwpc/2000 IWPC https://doi.org/10.1109/WPC.2000.852490 https://doi.ieeecomputersociety.org/10.1109/WPC.2000.852490 https://www.wikidata.org/entity/Q59610755 db/conf/iwpc/iwpc2000.html#BinkleyRSH00 Mark Harman Chris Fox Robert M. Hierons David W. Binkley Sebastian Danicic Program Simplification as a Means of Approximating Undecidable Propositions. 208-217 1999 conf/iwpc/1999 IWPC https://doi.org/10.1109/WPC.1999.777760 https://doi.ieeecomputersociety.org/10.1109/WPC.1999.777760 db/conf/iwpc/iwpc1999.html#HarmanFHBD99 David W. Binkley Computing Amorphous Program Slices Using Dependence Graphs. 519-525 1999 conf/sac/1999 SAC https://doi.org/10.1145/298151.298432 db/conf/sac/sac99.html#Binkley99

David W. Binkley The application of program slicing to regression testing. 583-594 1998 40 Inf. Softw. Technol. 11-12 https://doi.org/10.1016/S0950-5849(98)00085-8 db/journals/infsof/infsof40.html#Binkley98

David W. Binkley James R. Lyle Application of the pointer state subgraph to static program slicing. 17-27 1998 40 J. Syst. Softw. 1 https://doi.org/10.1016/S0164-1212(97)00016-2 https://www.wikidata.org/entity/Q126812289 db/journals/jss/jss40.html#BinkleyL98

David W. Binkley Bruce Duncan Brennan Jubb April Wielgosz The Feedback Compiler. 198-205 1998 conf/iwpc/1998 IWPC https://doi.org/10.1109/WPC.1998.693358 https://doi.ieeecomputersociety.org/10.1109/WPC.1998.693358 db/conf/iwpc/iwpc1998.html#BinkleyDJW98

David W. Binkley C++ in Safety Critical Systems. 223-234 1997 4 Ann. Softw. Eng. db/journals/ansoft/ansoft4.html#Binkley97 https://doi.org/10.1023/A:1018962626979

David W. Binkley Semantics Guided Regression Test Cost Reduction. 498-516 https://doi.org/10.1109/32.624306 http://doi.ieeecomputersociety.org/10.1109/32.624306 1997 23 IEEE Trans. Software Eng. 8 db/journals/tse/tse23.html#Binkley97

David W. Binkley Bradley M. Kuhn Crozzle: an NP-complete problem. 30-34 1997 conf/sac/1997 SAC https://doi.org/10.1145/331697.331705 https://www.wikidata.org/entity/Q130947758 db/conf/sac/sac97.html#BinkleyK97

David W. Binkley Keith Brian Gallagher Program Slicing. 1-50 1996 43 Adv. Comput. db/journals/ac/ac43.html#BinkleyG96 https://doi.org/10.1016/S0065-2458(08)60641-5

Bradley M. Kuhn David W. Binkley An enabling optimization for C++ virtual functions. 420-428 1996 conf/sac/1996 SAC https://doi.org/10.1145/331119.331419 db/conf/sac/sac1996.html#KuhnB96

David W. Binkley Susan Horwitz Thomas W. Reps Program Integration for Languages with Procedure Calls. 3-35 1995 4 ACM Trans. Softw. Eng. Methodol. 1 db/journals/tosem/tosem4.html#BinkleyHR95 https://doi.org/10.1145/201055.201056

David W. Binkley Reducing the cost of regression testing by semantics guided test case selection. 251- 1995 conf/icsm/1995 ICSM https://doi.org/10.1109/ICSM.1995.526547 https://doi.ieeecomputersociety.org/10.1109/ICSM.1995.526547 db/conf/icsm/icsm1995.html#Binkley95

Bradley M. Kuhn David W. Binkley In search of a customizable and uniform user interface. 34-39 1994 1 XRDS 2 https://doi.org/10.1145/197149.197170 db/journals/crossroads/crossroads1.html#KuhnB94

David W. Binkley Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. 374-388 1994 conf/cc/1994 CC db/conf/cc/cc94.html#Binkley94 https://doi.org/10.1007/3-540-57877-3_25

David W. Binkley Precise Executable Interprocedural Slices. 31-45 1993 2 LOPLAS 1-4 db/journals/loplas/loplas2.html#Binkley93 https://doi.org/10.1145/176454.176473

David W. Binkley Using semantic differencing to reduce the cost of regression testing. 41-50 1992 ICSM https://doi.org/10.1109/ICSM.1992.242560 conf/icsm/1992 db/conf/icsm/icsm1992.html#Binkley92

Susan Horwitz Thomas W. Reps David W. Binkley Interprocedural Slicing Using Dependence Graphs. 26-60 1990 12 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/77606.77608 db/journals/toplas/toplas12.html#HorwitzRB90

Susan Horwitz Thomas W. Reps David W. Binkley Interprocedural Slicing Using Dependence Graphs. 35-46 PLDI 1988 conf/pldi/1988 db/conf/pldi/pldi88.html#HorwitzRB88 https://doi.org/10.1145/53990.53994 https://doi.org/10.1145/960116.53994 https://www.wikidata.org/entity/Q56814414 Susan Horwitz Thomas W. Reps David W. Binkley Interprocedural slicing using dependence graphs (with retrospective) 229-243 1988 conf/pldi/2004best Best of PLDI https://doi.org/10.1145/989393.989419 db/conf/pldi/pldi2004best.html#HorwitzRB88a Stefano Di Alesio Abdullah Alsharif Paul Anderson Kelly Androutsopoulos Alberto Bacchelli André Baresel Earl T. Barr Richard W. Barraclough Gabriele Bavota Razieh Behjati Árpád Beszédes Maureen Biggers Elizabeth BurdLiz Burd Janet E. Burge Rob Capellini Mariano Ceccato Animesh Chaturvedi 0001 Shubhangi Chaturvedi David Clark 0001 Sebastian Danicic Mohammed Daoudi Marcia Davis Serge Demeyer Bogdan Dit Bruce Duncan Roger D. Eastman Mahmoud O. Elish Henry Allen FeildHenry Feild Robert Feldt Chris Fox C. Kolin Frantz Keith B. GallagherKeith Brian Gallagher James Glenn Nicolas E. GoldNicolas Gold Dawn Gundermann Tibor Gyimóthy Susanne E. Hambrusch Mark Harman Ian G. Harris Youssef Hassoun Matthew Hearn Regina Hebig Daniel Heinz Robert M. Hierons Emily Hill 0001 Susan Horwitz John Howroyd Lin Hu 0005 Steven Huss-Lederman Ron Ice Sibren Isaacman Syed S. Islam Judit Jász Yue Jia 0001 Brennan Jubb Oliver Keszöcze Ákos Kiss 0001 Bogdan Korel Rainer Koschke Jens Krinke Bradley M. Kuhn Arun Lakhotia Kiran Lakhotia Kevin Lano Mike Laurence Dawn J. Lawrie Seongmin Lee 0001 Zheng Li 0002 Andrea De Lucia Tom Lusco James R. Lyle Steve Maex Kiarash Mahdavi Jonathan I. Maletic Spiros Mancoridis Phil McMinn Timothy M. Meyers Leon Moonen Christopher Morrell Malcolm Munro Ethan V. Munson Rocco Oliveto Lahcen Ouarbya Justin Overfelt Maurizio Pighin Lori L. Pollock Sydney Pugh Abdallah Qusef L. Ross Raszewski M. S. Raunak 0001 Karl Reed Thomas W. Reps Filippo Ricca Susan H. Rodger Thomas Rolfsnes Coen De Roover Marc Roper Genevieve Rosay Barbara G. Ryder Mohamed Nassim Seghir Bonita Sharif Ranjit Singh John Slankas Christopher Smith Quentin Stiévenart Monica Sweat Tim Teitelbaum Aruna Tiwari Paolo Tonella Jack R. Toohey Christopher Uehlinger Béla Vancsics Linas Vidziunas K. Vijay-Shanker Dolores R. Wallace Joachim Wegener Amy Wheeler April Wielgosz Baowen Xu Yibiao Yang Shin Yoo Marvin V. Zelkowitz Xingyuan Zhang Yuming Zhou