@article {843,
	title = {A generalized, rule-based method for the detection of intermittent faults in software programs},
	journal = {Journal of Systems and Software},
	volume = {219},
	year = {2025},
	pages = {112228},
	abstract = {<p>Intermittent faults are a very common problem in the software world, and are very hard to locate and correct, due to the fact that they manifest their presence only under certain circumstances. Most of the existing approaches for intermittent fault identification assume that suitable instrumentation has been provided in the program, typically in the form of assertions that dictate which program states are considered to be erroneous, by examining variable values. This approach is, however, inefficient, since only errors for which appropriate instrumentation has been provided will be uncovered. In this paper we propose a method that can be used to detect probable sources of intermittent faults within a program. Our method proposes certain points in the code, whose data interdependencies combined with their execution interweaving indicate that they could be the root cause of intermittent faults. The approach presented in this paper extends our previous work, by examining shared variable access sequences and taking into account not only direct dependencies between shared variables, but additionally indirect ones, i.e. cases where values of local variables are computed using values of some shared variable(s), and subsequently the local variable values are used to set the value of other shared variables. The detection of suspicious access pattern, which may indicate the presence of intermittent faults, is formalized through the introduction of generalized rules; these rules are combined with model-based checking to ensure that all program execution paths are covered. The list of suspicious locations within the code is finally presented to the developer, who will decide after a thorough examination of the code, to accept or reject each of the proposals.</p>
},
	keywords = {Fault detection, Intermittent faults, Model-based checking, Shared variables},
	issn = {0164-1212},
	doi = {10.1016/j.jss.2024.112228},
	author = {Sotiropoulos, Panagiotis and Costas Vassilakis}
}
@article {DBLP:journals/pvldb/ElseidyASK14,
	title = {GRAMI: Frequent Subgraph and Pattern Mining in a Single Large Graph},
	journal = {PVLDB},
	volume = {7},
	number = {7},
	year = {2014},
	pages = {517{\textendash}528},
	doi = {10.14778/2732286.2732289},
	url = {http://www.vldb.org/pvldb/vol7/p517-elseidy.pdf},
	author = {Mohammed Elseidy and Ehab Abdelhamid and Spiros Skiadopoulos and Panos Kalnis}
}
@conference {Mateevitsi2008451,
	title = {A game-engine based virtual museum authoring and presentation system},
	booktitle = {Proceedings - 3rd International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008},
	year = {2008},
	note = {cited By (since 1996) 0},
	month = {9},
	pages = {451-457},
	abstract = {In this paper we present a system that facilitates virtual museum development and usage. The system is based on a game engine, ensuring thus minimal cost and good performance, and includes provisions that enable museum curators design the virtual museum without any specialized knowledge. Besides visual and auditory information, museum curators may also provide metadata which provide additional information to the visitor, while they can be also exploited for searching for exhibits with certain properties. A guide is also included in the museum, to present additional information to the visitors and aid them throughout their tour. Copyright 2008 ACM.},
	keywords = {Authoring environment, Game engines, Game theory, Metadata, Minimal costs, Museum guide, Presentation systems, Specialized knowledge, Virtual museum},
	doi = {10.1145/1413634.1413714},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-62849090231\&partnerID=40\&md5=2ba9707b8125ec8f1cacaad99b611342},
	author = {Mateevitsi, V. and Sfakianos, M. and Giorgos Lepouras and Costas Vassilakis}
}
@article {DBLP:journals/is/VassiliadisSGTS05,
	title = {A generic and customizable framework for the design of ETL scenarios},
	journal = {Inf. Syst.},
	volume = {30},
	number = {7},
	year = {2005},
	pages = {492{\textendash}525},
	doi = {10.1016/j.is.2004.11.002},
	url = {https://doi.org/10.1016/j.is.2004.11.002},
	author = {Panos Vassiliadis and Alkis Simitsis and Panos Georgantas and Manolis Terrovitis and Spiros Skiadopoulos}
}
@conference {DBLP:conf/dawak/SimitsisVTS05,
	title = {Graph-Based Modeling of ETL Activities with Multi-level Transformations and Updates},
	booktitle = {Data Warehousing and Knowledge Discovery, 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
	year = {2005},
	pages = {43{\textendash}52},
	doi = {10.1007/11546849_5},
	url = {https://doi.org/10.1007/11546849_5},
	author = {Alkis Simitsis and Panos Vassiliadis and Manolis Terrovitis and Spiros Skiadopoulos}
}
