@conference {TVB16, title = {Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density}, booktitle = {Proceedings of the 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops: 11th International Workshop on Mutation Analysis (MUTATION{\textquoteright}16)}, year = {2016}, month = {apr}, pages = {174-179}, author = {Tengeri, D{\'a}vid and L{\'a}szl{\'o} Vid{\'a}cs and {\'A}rp{\'a}d Besz{\'e}des and Judit J{\'a}sz and Gerg{\H o} Balogh and Vancsics, B{\'e}la and Tibor Gyim{\'o}thy} } @article {BSC14, title = {Empirical Investigation of {SEA}-Based Dependence Cluster Properties}, journal = {Science of Computer Programming}, volume = {105}, year = {2015}, note = {Special Issue on SCAM{\textquoteright}13}, pages = {3 - 25}, publisher = {Elsevier B.V.}, keywords = {select:quality}, doi = {http://dx.doi.org/10.1016/j.scico.2014.09.010}, author = {{\'A}rp{\'a}d Besz{\'e}des and Schrettner, Lajos and Csaba, B{\'e}la and Tam{\'a}s Gergely and Judit J{\'a}sz and Tibor Gyim{\'o}thy} } @conference {BBI15, title = {Uncovering Dependence Clusters and Linchpin Functions}, booktitle = {Proceedings of the 31th IEEE International Conference on Software Maintenance and Evolution (ICSME{\textquoteright}15)}, year = {2015}, month = {sep}, pages = {141-150}, author = {Binkley, David and {\'A}rp{\'a}d Besz{\'e}des and Islam, Syed and Judit J{\'a}sz and Vancsics, B{\'e}la} } @article {DJN14, title = {Designing and Implementing Control Flow Graph for {M}agic 4th Generation Language}, journal = {Acta Cybernetica}, volume = {21}, number = {3}, year = {2014}, pages = {419{\textendash}437}, abstract = {A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control flow or data flow analysis. Besides compilers, these techniques are common for static analyzers as well to retrieve information from source code, for example for code auditing, quality assurance or testing purposes. Implementing control flow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control flow graph (CFG) construction for a special 4th generation language called Magic. While we were designing and implementing the CFG for this language, we identified differences compared to 3rd generation languages mostly because of the unique programming technique of Magic (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs, might be generalized for other languages too.}, issn = {0324-721X}, url = {http://publicatio.bibl.u-szeged.hu/8995/}, author = {D{\'e}vai, Rich{\'a}rd and Judit J{\'a}sz and Csaba Nagy and Rudolf Ferenc} } @article {SJG13, title = {Impact Analysis in the Presence of Dependence Clusters Using {Static Execute After} in {WebKit}}, journal = {Journal of Software: Evolution and Process}, volume = {26}, number = {6}, year = {2014}, note = {Special Issue on SCAM{\textquoteright}12}, month = {jun}, pages = {569-588}, publisher = {John Wiley \& Sons, Ltd.}, author = {Schrettner, Lajos and Judit J{\'a}sz and Tam{\'a}s Gergely and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy} } @conference {DJN13, title = {Designing and Implementing Control Flow Graph for {M}agic 4th Generation Language}, booktitle = {Proceedings of the 13th Symposium on Programming Languages and Software Tools (SPLST 2013)}, year = {2013}, month = {aug}, pages = {200{\textendash}214}, publisher = {University of Szeged}, organization = {University of Szeged}, address = {Szeged, Hungary}, abstract = {A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control ow or data ow analysis. Besides compilers, these techniques are common for static analyzers to retrieve information from the code for example code auditing, quality assurance, or testing purposes. Implementing control ow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control ow graph (CFG) construction for a special 4th generation language called Magic. During designing and implementing the CFG for this language we identied dierences compared to 3rd generation languages because the special programming technique of this language (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs might be generalized for other languages too.}, author = {D{\'e}vai, Rich{\'a}rd and Judit J{\'a}sz and Csaba Nagy and Rudolf Ferenc} } @conference {16361, title = {Empirical investigation of SEA-Based dependence cluster properties}, booktitle = {IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013}, year = {2013}, pages = {1{\textendash}10}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Piscataway}, abstract = {Dependence clusters are (maximal) groups of source code entities that each depend on the other according to some dependence relation. Such clusters are generally seen as detrimental to many software engineering activities, but their formation and overall structure are not well understood yet. In a set of subject programs from moderate to large sizes, we observed frequent occurrence of dependence clusters using Static Execute After ({SEA}) dependences ({SEA} is a conservative yet efficiently computable dependence relation on program procedures). We identified potential linchpins inside the clusters; these are procedures that can primarily be made responsible for keeping the cluster together. Furthermore, we found that as the size of the system increases, it is more likely that multiple procedures are jointly responsible as sets of linchpins. We also give a heuristic method based on structural metrics for locating possible linchpins as their exact identification is unfeasible in practice, and presently there are no better ways than the brute-force method. We defined novel metrics and comparison methods to be able to demonstrate clusters of different sizes in programs. {\textcopyright} 2013 {IEEE}.}, keywords = {select:quality}, author = {{\'A}rp{\'a}d Besz{\'e}des and Schrettner, L. and B. Csaba and Tam{\'a}s Gergely and Judit J{\'a}sz and Tibor Gyim{\'o}thy}, editor = {Bram Adams and Juergen Rilling and Foutse Khomh} } @conference {16365, title = {Relating clusterization measures and software quality}, booktitle = {CSMR{\textquoteright}13}, year = {2013}, pages = {345{\textendash}348}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Los Alamitos}, author = {B. Csaba and Schrettner, L. and {\'A}rp{\'a}d Besz{\'e}des and Judit J{\'a}sz and P Heged{\H u}s and Tibor Gyim{\'o}thy}, editor = {Anthony Cleve and Filippo Ricca and Maura Cerioli} } @conference {16308, title = {Code Coverage-Based Regression Test Selection and Prioritization in {WebKit}}, year = {2012}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, author = {{\'A}rp{\'a}d Besz{\'e}des and Tam{\'a}s Gergely and Schrettner, L. and Judit J{\'a}sz and L{\'a}szl{\'o} Lang{\'o} and Tibor Gyim{\'o}thy} } @conference {16309, title = {Impact Analysis in the Presence of Dependence Clusters Using Static Execute After in {WebKit}}, year = {2012}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, author = {Schrettner, L. and Judit J{\'a}sz and Tam{\'a}s Gergely and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy} } @conference {16306, title = {Impact Analysis Using Static Execute After in {WebKit}}, booktitle = {Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR{\textquoteright}12)}, year = {2012}, pages = {95{\textendash}104}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Los Alamitos}, author = {Judit J{\'a}sz and Schrettner, L. and {\'A}rp{\'a}d Besz{\'e}des and Cs Osztrogon{\'a}c and Tibor Gyim{\'o}thy}, editor = {T. Mens and A. Cleve and Rudolf Ferenc} } @conference {TNJ10, title = {{CIASYS} {\textendash} Change Impact Analysis at System Level}, booktitle = {Proceedings of the 14th European Conference on Software Maintenance and Reengineering (CSMR{\textquoteright}10)}, year = {2010}, pages = {203-206}, author = {T{\'o}th, G. and Csaba Nagy and Judit J{\'a}sz and {\'A}rp{\'a}d Besz{\'e}des and F{\"u}l{\"o}p, L.J.} } @conference {THJ10, title = {Comparison of Different Impact Analysis Methods and Programmer{\textquoteright}s Opinion {\textendash} an Empirical Study}, booktitle = {Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ{\textquoteright}10)}, year = {2010}, pages = {109-118}, publisher = {ACM}, organization = {ACM}, author = {T{\'o}th, G. and P Heged{\H u}s and Judit J{\'a}sz and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy} } @conference {VJB08, title = {Combining Preprocessor Slicing with {C}/{C++} Language Slicing}, booktitle = {Proceedings of the 16th IEEE International Conference on Program Comprehension (ICPC{\textquoteright}08)}, year = {2008}, month = {jun}, pages = {163-171}, keywords = {relate:quality, software quality selected}, author = {L{\'a}szl{\'o} Vid{\'a}cs and Judit J{\'a}sz and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy} } @conference {Jasz08a, title = {Efficient static impact analysis}, booktitle = {Sixth Conference of PhD Students in Computer Science}, year = {2008}, pages = {29}, author = {Judit J{\'a}sz} } @article {Jasz08, title = {Static Execute After Algorithms as Alternatives for Impact Analysis}, journal = {Periodica Polytechnica Elec. Eng.}, volume = {52}, number = {3-4}, year = {2008}, pages = {163-176}, author = {Judit J{\'a}sz} } @conference {JBG08, title = {Static Execute After/Before as a Replacement of Traditional Software Dependencies}, booktitle = {Proceedings of the 2008 IEEE International Conference on Software Maintenance (ICSM{\textquoteright}08)}, year = {2008}, month = {oct}, pages = {137-146}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, author = {Judit J{\'a}sz and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy and V. Rajlich} } @conference {BGJ07, title = {Computation of {Static Execute After} Relation with Applications to Software Maintenance}, booktitle = {Proceedings of the 2007 IEEE International Conference on Software Maintenance (ICSM{\textquoteright}07)}, year = {2007}, month = {oct}, pages = {295-304}, keywords = {software quality selected}, author = {{\'A}rp{\'a}d Besz{\'e}des and Tam{\'a}s Gergely and Judit J{\'a}sz and T{\'o}th, G. and Tibor Gyim{\'o}thy and V. Rajlich} } @booklet {HoJa2006, title = {Comparison of static- and dynamic call graphs}, howpublished = {Volume of Extended Abstracts of 5th Conference of PhD Students in Computer Science (CSCS 2006)}, year = {2006}, month = {Jun}, pages = {56}, address = {Szeged, Hungary}, author = {E. Horv{\'a}th and Judit J{\'a}sz} } @conference {horvath:pointer, title = {General Flow-Sensitive Pointer Analysis and Call Graph Construction}, booktitle = {Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005)}, year = {2005}, pages = {49{\textendash}58}, address = {Tartu, Estonia}, author = {E. Horv{\'a}th and I. Forg{\'a}cs and {\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy} } @article {horvath:pointer_journal, title = {General Flow-Sensitive Pointer Analysis and Call Graph Construction}, journal = {Proceedings of the Estonian Academy of Sciences {\textendash} Engineering}, volume = {11}, number = {4}, year = {2005}, month = {dec}, pages = {286{\textendash}295}, publisher = {Estonian Academy Publishers}, author = {E. Horv{\'a}th and I. Forg{\'a}cs and {\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy} } @article {kiss:usingdynamic, title = {Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables}, journal = {Software Quality Journal}, volume = {13}, number = {3}, year = {2005}, month = {sep}, pages = {227{\textendash}245}, publisher = {springer}, author = {{\'A}kos Kiss and Judit J{\'a}sz and Tibor Gyim{\'o}thy} } @conference {LKJ04, title = {{Code Factoring in GCC}}, booktitle = {Proceedings of the 2004 GCC Developers{\textquoteright} Summit}, year = {2004}, month = {jun}, pages = {79-84}, keywords = {opensource}, author = {G. L{\'o}ki and {\'A}kos Kiss and Judit J{\'a}sz and {\'A}rp{\'a}d Besz{\'e}des} } @conference {kiss:interprocedural, title = {Interprocedural Static Slicing of Binary Executables}, booktitle = {Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003)}, year = {2003}, pages = {118{\textendash}127}, publisher = {ieeecs}, organization = {ieeecs}, address = {Amsterdam, The Netherlands}, author = {{\'A}kos Kiss and Judit J{\'a}sz and G. Lehotai and Tibor Gyim{\'o}thy} } @conference {kiss:static, title = {Static Slicing of Binary Executables}, booktitle = {Volume of Extended Abstracts of the 3rd Conference of PhD Students in Computer Science (CSCS 2002)}, year = {2002}, note = {Best talk of the session award}, month = {jul $\#$ "~1{\textendash}4,"}, pages = {60}, publisher = {uszeged}, organization = {uszeged}, address = {Szeged, Hungary}, author = {{\'A}kos Kiss and Judit J{\'a}sz and G. Lehotai} }