Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Faragó, David"'
Commit messages (CMs) are an essential part of version control. By providing important context in regard to what has changed and why, they strongly support software maintenance and evolution. But writing good CMs is difficult and often neglected by d
Externí odkaz:
http://arxiv.org/abs/2309.04797
Supplementary material to: D. Faragó, M. Färber, and C. Petrov, “A Full-fledged Commit Message Quality Checker Based on Machine Learning,” 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), May 2023. DOI: 10.1109/
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00f44d2fbf4bc8221209f020f1341279
Autor:
Faragó, David
This thesis focuses on the lightweight formal method of model-based testing for checking safety properties, and derives a new and more feasible approach. For liveness properties, dynamic testing is impossible, so feasibility is increased by specializ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c49eb6680348b452ed5e01f225167f5
https://publikationen.bibliothek.kit.edu/1000059473/3891208
https://publikationen.bibliothek.kit.edu/1000059473/3891208
Publikováno v:
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 32-47
STARTPAGE=32;ENDPAGE=47;TITLE=NASA Formal Methods
STARTPAGE=32;ENDPAGE=47;TITLE=NASA Formal Methods
Until recently, the preferred method of livelock detection was via LTL model checking, which imposes complex constraints on partial order reduction (POR), limiting its performance and parallelization. The introduction of the DFS_FIFO algorithm by Far
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::729bb15763194cad9947d1acc502d335
https://research.utwente.nl/en/publications/eaef7e9d-ffac-464e-b0cf-ce74614b49dc
https://research.utwente.nl/en/publications/eaef7e9d-ffac-464e-b0cf-ce74614b49dc
Autor:
Werner, Frank, Faragó, David
Publikováno v:
Formal Methods for Industrial Critical Systems (9783642158971); 2010, p115-131, 17p
Autor:
Faragó, David, Schmitt, Peter H.
Publikováno v:
Model Checking Software (9783642026515); 2009, p50-67, 18p
Autor:
HOLZER, DAVID
Publikováno v:
Budapest Business Journal. 12/1/2023, Vol. 31 Issue 22, p1-21. 2p.
Autor:
Jim Harrison, Joseph Bednarik
Starred Review from Booklist:'This robust volume is a testament to the fortitude of a great American poet's work... [a] landmark collection.'From the Introduction by Terry Tempest Williams:'Jim Harrison...was among the great ones—an elevated soul i