Research Output

2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

Hermans, F., Paige, R. F. & Sestoft, P., 12 Aug 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering: Proceedings. Kellenberger, P. (ed.). Los Alamitos: IEEE, Vol. 2. p. 1005-1006 2 p. 7203150

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Bayesian Approach to Diagnose Multiple Intermittent Faults

Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 27-33 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A benchmark-based evaluation of search-based crash reproduction

Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., Jan 2020, In : Empirical Software Engineering. 25, 1, p. 96–138 43 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
99 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings of the 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops: 15th Workshop on Advances in Model Based Testing (A-MOST '19). IEEE, p. 15-22 8 p. 8728920

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

File
118 Downloads (Pure)

Abstracting Common Business Rules to Petri Nets

van Hee, KM., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.). s.l.: s.n., p. 37-49 13 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Accelerating cost aggregation for real-time stereo matching

Fang, J., Varbanescu, AL., Jie, S., Sips, HJ., Saygili, G. & van der Maaten, LJP., 2012, Proceedings of the 18th IEEE international conference on paralell and distributed systems. s.n. (ed.). NY, NY, USA: IEEE Society, p. 472-481 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Citations (Scopus)

ACL: an approach to formal verification of real time systems

de Rooij, RCM., Lutje Spelberg, RF. & van Katwijk, J., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 335-342 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A classification of crosscutting concerns

Marin, A. M., Moonen, LMF. & van Deursen, A., 2005, ICSM'05 - Proceedings of the 21st IEEE International conference on software maintenance. s.n. (ed.). Piscataway, USA: IEEE, p. 673-676 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
28 Citations (Scopus)

A Cognitive Model for Software Architecture Complexity

Bouwers, EM., Lilienthal, C., Visser, J. & van Deursen, A., 2010, Proceedings 18th International Conference on Program Comprehension. Antoniol, G., Gallagher, K. & Henriques, PR. (eds.). Los Alamitos: IEEE Society, p. 152-155 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Citations (Scopus)

A Collaborative Approach to Teaching Software Architecture

van Deursen, A., Aniche, M., Aué, J., Slag, R., de Jong, M., Nederlof, A. & Bouwers, E., 2017, Proceedings - 48th ACM Technical Symposium on Computer Science Education, SIGCSE 2017. New York, NY: Association for Computing Machinery (ACM), p. 591-596 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
13 Citations (Scopus)
472 Downloads (Pure)

A common framework for aspect mining based on crosscutting concern sorts

Marin, M., Moonen, LMF. & van Deursen, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE). Sim, S. E. & Penta, M. (eds.). IEEE, p. 29-38 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

24 Citations (Scopus)

A Comparison of Push and Pull Techniques for Ajax

Bozdag, VE., Mesbah, A. & van Deursen, A., 2007, Proceedings of the 9th IEEE International Symposium on Web Site Evolution (WSE). Huang, S. & Penta, M. D. (eds.). IEEE, p. 15-22 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

39 Citations (Scopus)

A Component- and Push-based Architectural Style for Ajax Applications

Mesbah, A. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 2194-2209 16 p.

Research output: Contribution to journalArticleScientificpeer-review

48 Citations (Scopus)

A Constraint Language for Static Semantic Analysis Based on Scope Graphs

van Antwerpen, H., Néron, P., Tolmach, A., Visser, E. & Wachsmuth, G., Jan 2016, PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. New York, NY: Association for Computing Machinery (ACM), p. 49-60 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
20 Citations (Scopus)
30 Downloads (Pure)

A Controlled Experiment for Program Comprehension through Trace Visualization

Cornelissen, SGM., Zaidman, AE. & van Deursen, A., 2011, In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

Research output: Contribution to journalArticleScientificpeer-review

76 Citations (Scopus)

Acoustic ray tracing parallelization

Arntzen, M., Shen, J., Varbanescu, AL., Sips, HJ. & Simons, DG., 2013, Proceedings of NoiseCon 2013. s.n. (ed.). Springfield, Illinois: INCE-USA, p. 1-8 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Adaptive User Feedback for IR-Based Traceability Recovery

Panichella, A., De Lucia, A. & Zaidman, A., 5 Aug 2015, Proceedings - 2015 IEEE/ACM 8th International Symposium on Software and Systems Traceability, SST 2015. Institute of Electrical and Electronics Engineers (IEEE), p. 15-21 7 p. 7181523

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

File
11 Citations (Scopus)
19 Downloads (Pure)

A Dataset for API Usage

Sawant, A. A. & Bacchelli, A., 2015, Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR. Di Penta, M., Pinzger, M. & Robbes, R. (eds.). Piscataway: IEEE Society, p. 506-509 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

23 Citations (Scopus)

A Dataset of Scratch Programs: Scraped, Shaped and Scored

Aivaloglou, E., Hermans, F., Moreno-León, J. & Robles, G., 2017, Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, MSR 2017. Los Alamitos, CA: IEEE, p. 511-514 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

15 Citations (Scopus)
10 Downloads (Pure)

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., 9 Nov 2019, From Software Engineering to Formal Methods and Tools, and Back.. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, Vol. 11865. p. 285-312 28 p. (Lecture Notes in Computer Science; vol. 11865).

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

3 Citations (Scopus)

A Diagnostic Reasoning Approach to Defect Prediction

Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A. & van Gemund, AJC., 2011, 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011). Mehrotra, KC. & et al. (eds.). Berlin, Germany: Springer, p. 416-425 10 p. (Lecture Notes in Artificial Intelligence; vol. 6704).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
3 Citations (Scopus)

Adinda: A knowledgeable, Browser-Based IDE

van Deursen, A., Mesbah, A., Cornelissen, SGM., Zaidman, AE., Pinzger, M. & Guzzi, A., 2010, Companion Proceedings of the 32nd International Conference on Software Engineering (ICSE NIER). Fisler, K. (ed.). New York: Association for Computing Machinery (ACM), p. 203-206 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

36 Citations (Scopus)

Adopting and Evaluating Service Oriented Architecture in Industry

Nasr, KA., Gross, HG. & van Deursen, A., 2010, Proceedings 14th European Conference on Software Maintenance and Reengineering (CSMR 2010). Capilla et al, R. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 11-20 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Advances in Enterprise Engineering I

Barjis, J. (ed.), Dietz, J. & Albani, A., 2008, Berlin: Springer. (Lecture Notes in Business Information Processing|10)

Research output: Book/ReportBook editingScientific

Advances in Intelligent Health Reasoning and its Application to IBDM

Feldman, AB., Caporicci, M., Gracia, O. & Bos, A., 2007, Proceedings of the IEEE Aerospace Conference Big Sky, Montana, USA. s.n. (ed.). Montana, USA: IEEE Society, p. 1-12 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Dynamic Modeling Approach to Software Multiple-Fault Localization

Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2008, Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08). Grastien, A. & Stumptner, M. (eds.). Blue Mountains, NSW, Australia: The Australian National University, p. 7-14 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data

Leonardi, E., Heckmann, D., Herder, E., Hidders, AJH. & Houben, GJPM., 2010, Proceedings of the 10th International Conference on Web Engineering. Benatallah, B., Casati, F., Kappel, G. & Rossi, G. (eds.). Berlin: Springer, p. 322-336 15 p. (Lecture Notes in Computer Science; vol. 6189).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
7 Citations (Scopus)

A Follow-Up Reflection on Software Process Improvement ROI

van Solingen, DM., 2009, In : IEEE Software. 26, 5, p. 77-79 3 p.

Research output: Contribution to journalArticleScientificpeer-review

5 Citations (Scopus)

A formal semantics for the Taverna 2 workflow model

Sroka, J., Hidders, AJH., Missier, P. & Goble, CA., 2010, In : Journal of Computer and System Sciences. 76, p. 490-508 19 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
24 Citations (Scopus)

A framework and algorithm for model-based active testing

Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia. Grastien, A., Stumptner, M. & Mayer, W. (eds.). Blue Mountains, Australia: The Australian National University, p. 71-78 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A framework and algorithm for model-based active testing

Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the First International Conference on Prognostics and Health Management (PHM'08), Denver, Colorado, USA. Eklund, N. & Tumer, I. (eds.). Los Alamitos, USA: IEEE Society, p. 1-8 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Framework-based Runtime Monitoring Approach for Service-Oriented Software Systems

Chen, C., Zaidman, AE. & Gross, HG., 2011, The 1st International Workshop on Quality Assurance for Service-based Applications (QASBA 2011). Bianculli, D., Guinea, S., Metzger, A. & Polini, A. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 17-20 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

8 Citations (Scopus)

A Framework for Flexible User Profile Mashups

Abel, F., Heckmann, D., Herder, E., Hidders, AJH., Houben, GJPM., Krause, D., Leonardi, E. & van der Sluijs, KAM., 2009, Proceedings of International Workshop on Adaptation and Personalization for Web 2.0 (AP-WEB 2.0 2009). Dattolo, A., Tasso, C., Farzan, R., Kleanthous, S., Bueno Vallejo, D. & Vassileva, J. (eds.). Tilburg, Aachen: CEUR, p. 1-10 10 p. (Ceur Workshop Proceedings; vol. 485).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

15 Citations (Scopus)

A framework for quality assessment of just-in-time requirements: The case of open source feature requests

Heck, P. & Zaidman, A., 2017, In : Requirements Engineering. 22, 4, p. 453-473 21 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Citations (Scopus)
21 Downloads (Pure)

A Generic Approach for Deploying and Upgrading Mutable Software Components

van der Burg, S., 2012, Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp). sn (ed.). Los Alamitos: IEEE Society, p. -

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software

Seesing, A. & Gross, HG., 2006, In : International Transactions on Systems Science and Applications. 2, 1, p. 127-134 8 p.

Research output: Contribution to journalArticleScientificpeer-review

A grammar for spreadsheet formulas evaluated on two large datasets

Aivaloglou, E., Hoepelman, D. & Hermans, FFJ., 2015, Proceedings of the IEEE 15th International Working Conference Source Code Analysis and Manipulation, SCAM. Godfrey, MW., Lo, D. & Khomh, F. (eds.). Piscataway: IEEE Society, p. 121-130 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)

A Graph-based Dataset of Commit History of Real-World Android apps

Geiger, F-X., Malavolta, I., Pascarella, L., Palomba, F., Di Nucci, D. & Bacchelli, A., 2018, Proceedings of the 15th International Conference on Mining Software Repositories, MSR. ACM, New York, NY. New York, NY: Association for Computing Machinery (ACM), p. 30-33 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
13 Citations (Scopus)
121 Downloads (Pure)

A Guided Genetic Algorithm for Automated Crash Reproduction

Soltani, M., Panichella, A. & van Deursen, A., 2017, Proceedings of the 39th International Conference on Software Engineering (ICSE). Piscataway, NJ: IEEE, p. 209-220 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
19 Citations (Scopus)
218 Downloads (Pure)

A hybrid approach to hierarchical fault diagnosis

Feldman, AB., van Gemund, AJC. & Bos, A., 2005, Proceedings of DX'05. Dearden, R. & Narasimhan, S. (eds.). Pacific Grove, CA, USA: NASA AMES, p. 101-106 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Aiding Developers to Maintain Developer Tests

Hurdugaci, V. & Zaidman, AE., 2012, Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). Mens, T., Cleve, A. & Ferenc, R. (eds.). Los Alamitos: IEEE Society, p. 11-20 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
14 Citations (Scopus)

Aiding in the Comprehension of Testsuites

Cornelissen, B., van Deursen, A. & Moonen, LMF., 2006, Proceedings of the 2nd Workshop on Program Comprehension through Dynamic Analysis (PCODA'06). Zaidman, A., Hamou-Lhadj, A. & Greevy, O. (eds.). Antwerpen: Universiteit Antwerpen, p. 17-20 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Ajaxifying Classic Web Applications

Mesbah, A., 2007, Proceedings of the 29th International Conference on Software Engineering (ICSE'07 Companion), DS. IEEE, p. 81-82 2 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)

AJHotDraw: A showcase for refactoring to aspects

van Deursen, A., Marin, A. M. & Moonen, LMF., 2005, Proceedings of the AOSD workshop on linking aspect technology and evolution. s.n. (ed.). New York: Association for Computing Machinery (ACM), p. 1-4 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A. & Konat, G., 20 Oct 2014, Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), p. 95-111 17 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
32 Citations (Scopus)
32 Downloads (Pure)

A Language Generic Solution for Name Binding Preservation in Refactorings

de Jonge, M. & Visser, E., 2012, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications (LDTA'12). Sloane, A. & Andova, S. (eds.). New York: Association for Computing Machinery (ACM), p. 2:1-2:8

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
4 Citations (Scopus)

A language independent task engine for incremental name and type analysis

Wachsmuth, GH., Konat, GDP., Vergu, VA., Groenewegen, DM. & Visser, E., 2013, Software Language Engineering - Proceedings 6th International Conference SLE 2013. Erwig, M., Paige, R. & van Wyk, E. (eds.). Berlin-Heidelberg: Springer, p. 260-280 21 p. (Lecture Notes in Computer Science; vol. 8225).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
12 Citations (Scopus)

A Large Scale Empirical Comparison of State-of-the-art Search-based Test Case Generators

Panichella, A., Kifetew, F. M. & Tonella, P., 2018, In : Information and Software Technology. 104, p. 236-256 21 p.

Research output: Contribution to journalArticleScientificpeer-review

10 Citations (Scopus)

A Lightweight Approach to Determining the Adequacy of Tests as Documentation

Geet, J. V. & Zaidman, AE., 2006, Proceedings of the 2nd International Workshop on Program Comprehension Through Dynamic Analysis (PCODA 2006), technical report 2006-11, dep. computer science and mathematics. Zaidman, A., Greevy, O. & Hamou-Lhadj, A. (eds.). University of Antwerp, p. 21-26 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

A Lightweight Sanity Check for Implemented Architectures

Bouwers, EM. & van Deursen, A., 2010, In : IEEE Software. 27, 4, p. 44-50 7 p.

Research output: Contribution to journalArticleScientificpeer-review

9 Citations (Scopus)