https://m2.mtmt.hu/
hun
2024-03-29 11:25
true
true
1
10
10
1
10
DESC
publishedYear
false
ASC
firstAuthor
true
ASC
mtid
true
JournalArticle
33677595
VALIDATED
true
Correspondence Address: Micskei, Z.; Department of Measurement and Information Systems, Müegyetem rkp. 3., Hungary; email: micskeiz@mit.bme.hu
0
false
2024-02-22T18:31:09.947+0000
2024-01-08T15:29:18.414+0000
2023-03-02T12:31:12.960+0000
true
10071424
Elekes
Márton
/api/author/10071424
Author
true
2024-01-08T15:29:28.624+0000
2024-01-08T15:29:28.624+0000
2024-01-08T15:29:18.667+0000
true
10071696
Andódy
Katalin
/api/admin/10071696
Admin
true
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Elekes, Márton
Assessing the specification of modelling language semantics: a study on UML PSSM
true
true
/api/journal/4101
REVIEWED
true
false
4101
false
4101
true
0963-9314
1573-1367
Journal
31
2
575
617
575
43
2023
Modelling languages play a central role in developing complex, critical systems. A precise, comprehensible, and high-quality modelling language specification is essential to all stakeholders using, implementing, or extending the language. Many good practices can be found that improve the understandability or consistency of the languages’ semantics. However, designing a modelling language intended for a large audience is still challenging. In this paper, we investigate the challenges and typical issues with assessing the specifications of behavioural modelling language semantics. Our key insight is that the various stakeholder’s understandings of the language’s semantics are often misaligned, and the semantics defined in various artefacts (simulators, test suites) are inconsistent. Therefore assessment of semantics should focus on identifying and resolving these inconsistencies. To illustrate these challenges and techniques, we assessed parts of a state-of-the-art specification for a general-purpose modelling language, the Precise Semantics of UML State Machines (PSSM). We reviewed the text of the specification, analysed and executed PSSM’s conformance test suite, and categorised our experiences according to questions generally relevant to modelling languages. Finally, we made recommendations for improving the development of future modelling languages by representing the semantic domain and traces more explicitly, applying diverse test design techniques to obtain conformance test suites, and using various tools to support early-phase language design.
Funding
2024171
/api/funding/2024171
false
true
Funding
2024172
/api/funding/2024172
false
true
true
NATIONAL
2023
true
true
true
false
true
false
GOLD
2024-02-22
true
https://doi.org/10.1007/s11219-023-09617-5
2
0
2
1
1
2
2
1
2
2
2
1
1
1
1
0
2
1
2
1
0
4
4
Q1
false
10049620,10041151
false
false
false
2023-05-31T11:31:14.330+0000
Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
3
5
2
3
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
106905499
/api/authorship/106905499
1
0.333
true
false
false
Author
10071424
/api/author/10071424
Elekes
Márton
true
true
Elekes
Márton
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
106905500
/api/authorship/106905500
2
0.333
false
false
false
Author
10049620
/api/author/10049620
Molnár
Vince
true
10049620
true
Molnár
Vince
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
106905501
/api/authorship/106905501
3
0.333
false
true
true
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltán
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
23180815
/api/publicationidentifier/23180815
GOLD
true
IDENTICAL
10.1007/s11219-023-09617-5
https://doi.org/10.1007/s11219-023-09617-5
false
true
PublicationIdentifier
23295552
/api/publicationidentifier/23295552
IDENTICAL
000941898000001
https://www.webofscience.com/wos/woscc/full-record/000941898000001
false
true
PublicationIdentifier
23191720
/api/publicationidentifier/23191720
IDENTICAL
85149045787
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85149045787
false
true
PublicationIdentifier
23180816
/api/publicationidentifier/23180816
https://link.springer.com/10.1007/s11219-023-09617-5
https://link.springer.com/10.1007/s11219-023-09617-5
false
true
SjrRating
11396722
/api/sjrrating/11396722
17
0.24
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
2214
/api/classificationexternal/2214
true
2214
true
Q1
FROM_LAST_YEAR
true
true
/api/publication/33677595
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10071424"> <a href="/gui2/?type=authors&mode=browse&sel=10071424" target="_blank">Elekes, Márton</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10049620"> <a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár, Vince</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltán ✉</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;33677595" mtid="33677595" target="_blank">Assessing the specification of modelling language semantics: a study on UML PSSM</a></div> <div class="pub-info"> <span class="journal-title">SOFTWARE QUALITY JOURNAL</span> <span class="journal-volume">31</span> : <span class="journal-issue">2</span> <span class="page"> pp. 575-617. , 43 p. </span> <span class="year">(2023)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/s11219-023-09617-5" target="_blank" href="https://doi.org/10.1007/s11219-023-09617-5"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000941898000001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000941898000001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85149045787" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85149045787"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/s11219-023-09617-5" target="_blank" href="https://link.springer.com/10.1007/s11219-023-09617-5"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:33677595 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 2</span> | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2 </div> </div> </div> </div><div class="JournalArticle Publication long-list">
<div class="authors">
<img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png">
<img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png">
<div class="autype autype0"> <span class="author-name" mtid="10071424"><a
href="/gui2/?type=authors&mode=browse&sel=10071424" target="_blank">Elekes Márton
(<span class="authorship-author-name">Elekes Márton</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span>
;
<span class="author-name" mtid="10049620"><a
href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince
(<span class="authorship-author-name">Molnár Vince</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
;
<span class="author-name" mtid="10041151"><a
href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán ✉
(<span class="authorship-author-name">Micskei Zoltán Imre</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
</div>
</div>
<div class="title"><a href="/gui2/?mode=browse¶ms=publication;33677595" target="_blank">Assessing the specification of modelling language semantics: a study on UML PSSM</a></div> <div> <span class="journal-title">SOFTWARE QUALITY JOURNAL</span>
<span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0963-9314">0963-9314</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1573-1367">1573-1367</a>)</span>:
<span class="journal-volume">31</span> <span class="journal-issue">2</span>
<span class="page">
pp 575-617
</span> <span class="year">(2023)</span>
</div>
<div class="pub-footer">
<span class="language" xmlns="http://www.w3.org/1999/html">Nyelv:
Angol
| </span>
<span class="identifiers">
<span class="id identifier oa_GOLD" title=" Gold
">
<a style="color:blue" title="10.1007/s11219-023-09617-5" target="_blank" href="https://doi.org/10.1007/s11219-023-09617-5">
DOI
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="000941898000001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000941898000001">
WoS
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="85149045787" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85149045787">
Scopus
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:black" title="https://link.springer.com/10.1007/s11219-023-09617-5" target="_blank" href="https://link.springer.com/10.1007/s11219-023-09617-5">
Egyéb URL
</a>
</span>
</span>
<div class="publication-citation" style="margin-left: 0.5cm;">
<span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 2</span>
| Független: 1
| Függő: 1
| Nem jelölt: 0
| WoS jelölt: 1
| Scopus jelölt: 2
| WoS/Scopus jelölt: 2
| DOI jelölt: 2
</div>
<div class="publication-citation">
<a target="_blank" href="/api/publication?cond=citations.related;eq;33677595&sort=publishedYear,desc&sort=title">
Idézett közlemények száma: 4
</a>
</div>
<div class="mtid"><span class="long-pub-mtid">Közlemény: 33677595</span>
| <span class="status-data status-VALIDATED"> Egyeztetett
</span>
Forrás Idéző
| <span class="type-subtype">Folyóiratcikk
( Szakcikk
)
</span>
| <span class="pub-category">Tudományos</span>
| <span class="publication-sourceOfData">kézi felvitel</span>
</div>
<div class="funder"> EMBrACE(2019-2.1.1-EUREKA- 2019-00001) Támogató: NKFIA, ADVANCE(823788) Támogató: Horizon 2020 </div>
<div class="lastModified">Utolsó módosítás: 2024.01.08. 16:29 Andódy Katalin (BME admin5)
</div>
<pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Correspondence Address: Micskei, Z.; Department of Measurement and Information Systems, Müegyetem rkp. 3., Hungary; email: micskeiz@mit.bme.hu</pre>
</div></div>
JournalArticle
33809830
VALIDATED
true
IncQuery Labs cPlc., Budapest, Hungary
Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States
TMT International Observatory LLC, Pasadena, CA, United States
Export Date: 26 May 2023
Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com
0
false
2024-03-16T21:02:37.938+0000
2023-11-07T13:05:21.957+0000
2023-05-11T08:52:03.094+0000
true
10049620
Molnár
Vince
/api/author/10049620
Author
true
10049620
2024-01-15T15:22:58.276+0000
2024-01-15T15:22:58.276+0000
2023-11-11T08:33:20.077+0000
true
521
Szuper
Admin
/api/admin/521
Admin
true
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Horváth, Benedek
Pragmatic verification and validation of industrial executable SysML models
true
true
/api/journal/10011897
REVIEWED
true
false
10011897
false
10011897
true
1098-1241
1520-6858
Journal
26
6
693
714
693
22
2023
true
2023
true
true
true
false
true
false
NONE
2024-03-16
false
3
0
3
3
0
2
3
2
2
2
2
2
2
3
0
0
3
3
3
3
0
5
5
Q2
false
10030433,10049620,10041151
false
false
false
2023-08-09T08:52:04.362+0000
Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
6
7
2
9
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
107664584
/api/authorship/107664584
1
0.11111111
true
false
false
Horváth
Benedek
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664585
/api/authorship/107664585
2
0.111
false
false
false
Author
10049620
/api/author/10049620
Molnár
Vince
true
10049620
true
Molnár
Vince
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664586
/api/authorship/107664586
3
0.111
false
false
false
Author
10068239
/api/author/10068239
Graics
Bence
true
true
Graics
Bence
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664587
/api/authorship/107664587
4
0.111
false
false
false
Author
10053159
/api/author/10053159
Hajdu
Ákos
true
10053159
true
Hajdu
Ákos
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664588
/api/authorship/107664588
5
0.111
false
false
false
Author
10030433
/api/author/10030433
Ráth
István Zoltán
true
10030433
true
Ráth
István
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664589
/api/authorship/107664589
6
0.111
false
false
false
Author
10030432
/api/author/10030432
Horváth
Ákos
true
10030432
true
Horváth
Ákos
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664590
/api/authorship/107664590
7
0.11111111
false
false
false
Karban
Robert
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664591
/api/authorship/107664591
8
0.11111111
false
false
false
Trancho
Gelys
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
107664592
/api/authorship/107664592
9
0.111
false
true
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltán
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
23532801
/api/publicationidentifier/23532801
IDENTICAL
10.1002/sys.21679
https://doi.org/10.1002/sys.21679
false
true
PublicationIdentifier
23855143
/api/publicationidentifier/23855143
IDENTICAL
000985028200001
https://www.webofscience.com/wos/woscc/full-record/000985028200001
false
true
PublicationIdentifier
23701721
/api/publicationidentifier/23701721
IDENTICAL
85158848029
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029
false
true
PublicationIdentifier
23532802
/api/publicationidentifier/23532802
https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679
https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679
false
true
SjrRating
11365177
/api/sjrrating/11365177
131
0.49
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
1705
/api/classificationexternal/1705
true
1705
true
Q2
FROM_LAST_YEAR
true
true
/api/publication/33809830
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" > Horváth, Benedek </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10049620"> <a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár, Vince</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10068239"> <a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics, Bence</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10053159"> <a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu, Ákos</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10030433"> <a href="/gui2/?type=authors&mode=browse&sel=10030433" target="_blank">Ráth, István</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10030432"> <a href="/gui2/?type=authors&mode=browse&sel=10030432" target="_blank">Horváth, Ákos</a> </span> <span class="author-type"> </span> ; <span class="author-name" > Karban, Robert </span> <span class="author-type"> </span> ; <span class="author-name" > Trancho, Gelys </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltán</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;33809830" mtid="33809830" target="_blank">Pragmatic verification and validation of industrial executable SysML models</a></div> <div class="pub-info"> <span class="journal-title">SYSTEMS ENGINEERING</span> <span class="journal-volume">26</span> : <span class="journal-issue">6</span> <span class="page"> pp. 693-714. , 22 p. </span> <span class="year">(2023)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1002/sys.21679" target="_blank" href="https://doi.org/10.1002/sys.21679"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000985028200001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000985028200001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85158848029" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679" target="_blank" href="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:33809830 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 3</span> | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3 </div> </div> </div> </div><div class="JournalArticle Publication long-list">
<div class="authors">
<img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png">
<img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png">
<div class="autype autype0"> <span class="author-name" >Horváth Benedek
</span>
;
<span class="author-name" mtid="10049620"><a
href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince
(<span class="authorship-author-name">Molnár Vince</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span>
;
<span class="author-name" mtid="10068239"><a
href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence
(<span class="authorship-author-name">Graics Bence</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span>
;
<span class="author-name" mtid="10053159"><a
href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Ákos
(<span class="authorship-author-name">Hajdu Ákos</span>
<span class="authorAux-mtmt"> formális módszerek</span>)
</a>
</span>
;
<span class="author-name" mtid="10030433"><a
href="/gui2/?type=authors&mode=browse&sel=10030433" target="_blank">Ráth István
(<span class="authorship-author-name">Ráth István Zoltán</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
;
<span class="author-name" mtid="10030432"><a
href="/gui2/?type=authors&mode=browse&sel=10030432" target="_blank">Horváth Ákos
(<span class="authorship-author-name">Horváth Ákos</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
;
<span class="author-name" >Karban Robert
</span>
;
<span class="author-name" >Trancho Gelys
</span>
;
<span class="author-name" mtid="10041151"><a
href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán
(<span class="authorship-author-name">Micskei Zoltán Imre</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span>
</div>
</div>
<div class="title"><a href="/gui2/?mode=browse¶ms=publication;33809830" target="_blank">Pragmatic verification and validation of industrial executable SysML models</a></div> <div> <span class="journal-title">SYSTEMS ENGINEERING</span>
<span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1098-1241">1098-1241</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1520-6858">1520-6858</a>)</span>:
<span class="journal-volume">26</span> <span class="journal-issue">6</span>
<span class="page">
pp 693-714
</span> <span class="year">(2023)</span>
</div>
<div class="pub-footer">
<span class="language" xmlns="http://www.w3.org/1999/html">Nyelv:
Angol
| </span>
<span class="identifiers">
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="10.1002/sys.21679" target="_blank" href="https://doi.org/10.1002/sys.21679">
DOI
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="000985028200001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000985028200001">
WoS
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="85158848029" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85158848029">
Scopus
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:black" title="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679" target="_blank" href="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21679">
Egyéb URL
</a>
</span>
</span>
<div class="publication-citation" style="margin-left: 0.5cm;">
<span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 3</span>
| Független: 3
| Függő: 0
| Nem jelölt: 0
| WoS jelölt: 2
| Scopus jelölt: 2
| WoS/Scopus jelölt: 2
| DOI jelölt: 3
</div>
<div class="publication-citation">
<a target="_blank" href="/api/publication?cond=citations.related;eq;33809830&sort=publishedYear,desc&sort=title">
Idézett közlemények száma: 5
</a>
</div>
<div class="mtid"><span class="long-pub-mtid">Közlemény: 33809830</span>
| <span class="status-data status-VALIDATED"> Egyeztetett
</span>
Forrás Idéző
| <span class="type-subtype">Folyóiratcikk
( Szakcikk
)
</span>
| <span class="pub-category">Tudományos</span>
| <span class="publication-sourceOfData">kézi felvitel</span>
</div>
<div class="lastModified">Utolsó módosítás: 2023.11.07. 14:05 Heincz Orsolya (BME admin 5)
</div>
<pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: IncQuery Labs cPlc., Budapest, Hungary
Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Jet Propulsion Laboratory, California Institute of Technology,...</pre>
</div></div>
JournalArticle
30910225
VALIDATED
true
Cited By :10
Export Date: 25 October 2022
CODEN: JAREE
Correspondence Address: Hajdu, Á.; Department of Measurement and Information Systems, Hungary; email: hajdua@mit.bme.hu
0
false
2024-02-20T06:31:33.706+0000
2022-03-29T09:21:25.536+0000
2019-11-12T07:45:36.459+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2022-12-21T00:04:01.386+0000
2022-12-21T00:04:01.612+0000
true
521
Szuper
Admin
/api/admin/521
Admin
true
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Hajdu, Ákos
Efficient Strategies for CEGAR-Based Model Checking
true
true
/api/journal/8266
REVIEWED
true
false
8266
false
8266
true
0168-7433
1573-0670
Journal
64
1051
1091
1051
41
2020
Funding
1986526
/api/funding/1986526
false
true
Funding
1986527
/api/funding/1986527
false
true
true
true
2019
true
true
true
false
false
GOLD
2024-02-20
true
https://doi.org/10.1007/s10817-019-09535-x
15
1
14
13
1
12
13
8
12
12
12
12
12
14
1
0
15
14
14
13
0
5
5
Q2
false
10041151
false
false
false
2020-02-10T07:49:41.956+0000
Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
2
5
3
2
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
88727955
/api/authorship/88727955
1
0.5
true
false
true
Author
10053159
/api/author/10053159
Hajdu
Ákos
true
10053159
true
Hajdu
Ákos
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
88727956
/api/authorship/88727956
2
0.5
false
true
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltán
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
16095044
/api/publicationidentifier/16095044
GOLD
true
IDENTICAL
10.1007/s10817-019-09535-x
https://doi.org/10.1007/s10817-019-09535-x
false
true
PublicationIdentifier
16435832
/api/publicationidentifier/16435832
IDENTICAL
000495726200001
https://www.webofscience.com/wos/woscc/full-record/000495726200001
false
true
PublicationIdentifier
20828224
/api/publicationidentifier/20828224
IDENTICAL
85075168873
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85075168873
false
true
PublicationIdentifier
16095045
/api/publicationidentifier/16095045
http://link.springer.com/10.1007/s10817-019-09535-x
http://link.springer.com/10.1007/s10817-019-09535-x
false
true
SjrRating
10747234
/api/sjrrating/10747234
94
0.49
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
1702
/api/classificationexternal/1702
true
1702
true
Q2
DIRECT
true
true
/api/publication/30910225
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10053159"> <a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu, Ákos ✉</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltán</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;30910225" mtid="30910225" target="_blank">Efficient Strategies for CEGAR-Based Model Checking</a></div> <div class="pub-info"> <span class="journal-title">JOURNAL OF AUTOMATED REASONING</span> <span class="journal-volume">64</span> <span class="page"> pp. 1051-1091. , 41 p. </span> <span class="year">(2020)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/s10817-019-09535-x" target="_blank" href="https://doi.org/10.1007/s10817-019-09535-x"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000495726200001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000495726200001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85075168873" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85075168873"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://link.springer.com/10.1007/s10817-019-09535-x" target="_blank" href="http://link.springer.com/10.1007/s10817-019-09535-x"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:30910225 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 15</span> | Független: 14 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 12 | WoS/Scopus jelölt: 12 | DOI jelölt: 13 (Nem nyilvános: 1) </div> </div> </div> </div><div class="JournalArticle Publication long-list">
<div class="authors">
<img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png">
<img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png">
<div class="autype autype0"> <span class="author-name" mtid="10053159"><a
href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Ákos ✉
(<span class="authorship-author-name">Hajdu Ákos</span>
<span class="authorAux-mtmt"> formális módszerek</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport</span>
;
<span class="author-name" mtid="10041151"><a
href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán
(<span class="authorship-author-name">Micskei Zoltán Imre</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span>
</div>
</div>
<div class="title"><a href="/gui2/?mode=browse¶ms=publication;30910225" target="_blank">Efficient Strategies for CEGAR-Based Model Checking</a></div> <div> <span class="journal-title">JOURNAL OF AUTOMATED REASONING</span>
<span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0168-7433">0168-7433</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1573-0670">1573-0670</a>)</span>:
<span class="journal-volume">64</span>
<span class="page">
pp 1051-1091
</span> <span class="year">(2020)</span>
</div>
<div class="pub-footer">
<span class="language" xmlns="http://www.w3.org/1999/html">Nyelv:
Angol
| </span>
<span class="identifiers">
<span class="id identifier oa_GOLD" title=" Gold
">
<a style="color:blue" title="10.1007/s10817-019-09535-x" target="_blank" href="https://doi.org/10.1007/s10817-019-09535-x">
DOI
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="000495726200001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000495726200001">
WoS
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="85075168873" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85075168873">
Scopus
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:black" title="http://link.springer.com/10.1007/s10817-019-09535-x" target="_blank" href="http://link.springer.com/10.1007/s10817-019-09535-x">
Egyéb URL
</a>
</span>
</span>
<div class="publication-citation" style="margin-left: 0.5cm;">
<span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 15</span>
| Független: 14
| Függő: 1
| Nem jelölt: 0
| WoS jelölt: 8
| Scopus jelölt: 12
| WoS/Scopus jelölt: 12
| DOI jelölt: 13
(Nem nyilvános: 1)
</div>
<div class="publication-citation">
<a target="_blank" href="/api/publication?cond=citations.related;eq;30910225&sort=publishedYear,desc&sort=title">
Idézett közlemények száma: 5
</a>
</div>
<div class="mtid"><span class="long-pub-mtid">Közlemény: 30910225</span>
| <span class="status-data status-VALIDATED"> Egyeztetett
</span>
Forrás Idéző
| <span class="type-subtype">Folyóiratcikk
( Szakcikk
)
</span>
| <span class="pub-category">Tudományos</span>
| <span class="publication-sourceOfData">kézi felvitel</span>
</div>
<div class="funder"> (BME FIKP-MI/SC), Tématerületi Kiválósági Program(TUDFO/51757-1/2019-ITM) </div>
<div class="lastModified">Utolsó módosítás: 2022.03.29. 11:21 Micskei Zoltán Imre (informatika)
</div>
<pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Cited By :10
Export Date: 25 October 2022
CODEN: JAREE
Correspondence Address: Hajdu, Á.; Department of Measurement and Information Systems, Hungary; email: hajdua@mit.bme.hu</pre>
</div></div>
JournalArticle
31305933
APPROVED
true
0
false
2024-02-20T15:59:03.961+0000
2023-08-25T20:18:26.878+0000
2020-05-07T06:14:31.282+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2022-03-29T09:12:24.682+0000
2022-03-29T09:12:24.682+0000
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Honfi, David
Automated Isolation for White-box Test Generation
true
true
/api/journal/1966
REVIEWED
true
false
1966
false
1966
true
0950-5849
1873-6025
Journal
FOREIGN
125
106319
106319
16
2020
Context: White-box test generation is a technique used for automatically selecting test inputs using only the code under test. However, such techniques encounter challenges when applying them to complex programs. One of the challenges is handling invocations to external modules or dependencies in the code under test.
Objective: Without using proper isolation, like mocks, generated tests cannot cover all parts of the source code. Moreover, invoking external dependencies may cause unexpected side effects (e.g., accessing the file system or network). Our goal was to tackle this issue while maintaining the advantages of white-box test generation.
Method: In this paper, we present an automated approach addressing the external dependency challenge for white-box test generation. This technique isolates the test generation and execution by transforming the code under test and creating a parameterized sandbox with generated mocks. We implemented the approach in a ready-to-use tool using Microsoft Pex as a test generator, and evaluated it on 10 open-source projects from GitHub having more than 38.000 lines of code in total.
Results: The results from the evaluation indicate that if the lack of isolation hinders white-box test generation, then our approach is able to help: it increases the code coverage reached by the automatically generated tests, while it prevents invoking any external module or dependency. Also, our results act as a unique baseline for the test generation performance of Microsoft Pex on open-source projects.
Conclusion: Based on the results, our technique might serve well for handling external dependencies in white-box test generation as it increases the coverage reached in such situations, while maintaining the practical applicability of the tests generated on the isolated code.
Funding
1986229
/api/funding/1986229
false
true
Funding
1986230
/api/funding/1986230
false
true
true
true
2020
true
true
true
false
true
false
GOLD
2024-02-20
true
https://doi.org/10.1016/j.infsof.2020.106319
3
0
3
2
1
3
3
1
2
2
2
1
1
2
1
0
3
2
3
2
0
1
1
Q2
A nemzetközi
false
10041151
false
false
false
2020-08-05T06:15:16.452+0000
Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
2
5
2
2
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
91598176
/api/authorship/91598176
1
0.5
true
false
false
Author
10051890
/api/author/10051890
Honfi
Dávid
true
10051890
true
Honfi
David
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
91598177
/api/authorship/91598177
2
0.5
false
true
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltan
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
16897712
/api/publicationidentifier/16897712
GOLD
true
10.1016/j.infsof.2020.106319
https://doi.org/10.1016/j.infsof.2020.106319
false
true
PublicationIdentifier
20827865
/api/publicationidentifier/20827865
IDENTICAL
000536752100003
https://www.webofscience.com/wos/woscc/full-record/000536752100003
false
true
PublicationIdentifier
17043140
/api/publicationidentifier/17043140
85084434882
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084434882
false
true
PublicationIdentifier
16897713
/api/publicationidentifier/16897713
https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719
https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719
false
true
MtaRating
11509739
/api/mtarating/11509739
RatingType
10012
/api/ratingtype/10012
GMB
Institute
19066
/api/institute/19066
0
false
true
Gazdaságtudományi Doktori Minősítő Bizottság
Gazdaságtudományi Doktori Minősítő Bizottság
true
19066
true
true
true
A nemzetközi
false
true
SjrRating
10770781
/api/sjrrating/10770781
222
0.49
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
1706
/api/classificationexternal/1706
true
1706
true
Q2
DIRECT
true
true
/api/publication/31305933
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10051890"> <a href="/gui2/?type=authors&mode=browse&sel=10051890" target="_blank">Honfi, David</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltan</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;31305933" mtid="31305933" target="_blank">Automated Isolation for White-box Test Generation</a></div> <div class="pub-info"> <span class="journal-title">INFORMATION AND SOFTWARE TECHNOLOGY</span> <span class="journal-volume">125</span> <span class="page"> Paper: 106319 , 16 p. </span> <span class="year">(2020)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:black" title="10.1016/j.infsof.2020.106319" target="_blank" href="https://doi.org/10.1016/j.infsof.2020.106319"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000536752100003" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000536752100003"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85084434882" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084434882"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719" target="_blank" href="https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:31305933 </span> <span class="status-holder"><span class="status-data status-APPROVED"> Nyilvános </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 3</span> | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3 </div> </div> </div> </div><div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10051890"><a href="/gui2/?type=authors&mode=browse&sel=10051890" target="_blank">Honfi David (<span class="authorship-author-name">Honfi Dávid</span> <span class="authorAux-mtmt"> Méréstechnika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltan (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;31305933" target="_blank">Automated Isolation for White-box Test Generation</a></div> <div> <span class="journal-title">INFORMATION AND SOFTWARE TECHNOLOGY</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0950-5849">0950-5849</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1873-6025">1873-6025</a>)</span>: <span class="journal-volume">125</span> <span class="page"> Paper 106319. 16 p. </span> <span class="year">(2020)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:black" title="10.1016/j.infsof.2020.106319" target="_blank" href="https://doi.org/10.1016/j.infsof.2020.106319"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000536752100003" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000536752100003"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85084434882" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084434882"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719" target="_blank" href="https://linkinghub.elsevier.com/retrieve/pii/S0950584920300719"> Egyéb URL </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 3</span> | Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;31305933&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 1 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 31305933</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Tématerületi Kiválósági Program(TUDFO/51757/2019-ITM) Támogató: NKFIH, (BME FIKP-MI/SC) </div> <div class="lastModified">Utolsó módosítás: 2023.08.25. 22:18 Pécsi Éva (MTMT Közp 3, admin) </div> </div></div>
JournalArticle
30679767
APPROVED
true
0
false
2024-02-20T01:09:34.013+0000
2022-03-29T09:26:13.742+0000
2019-05-17T14:28:15.778+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2022-03-29T09:26:13.852+0000
2022-03-29T09:26:13.852+0000
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Honfi, Dávid
Classifying generated white-box tests: an exploratory study
true
true
/api/journal/4101
REVIEWED
true
false
4101
false
4101
true
0963-9314
1573-1367
Journal
27
3
1339
1380
1339
42
2019
Funding
1986528
/api/funding/1986528
false
true
Funding
1986529
/api/funding/1986529
false
true
true
true
2019
true
true
true
false
true
false
NONE
2024-02-20
false
6
0
6
6
1
4
6
4
6
6
6
6
6
6
0
0
6
6
6
6
0
0
0
Q2
false
10041151
false
false
false
2019-08-15T14:30:40.522+0000
Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
2
5
2
2
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
87135082
/api/authorship/87135082
1
0.5
true
false
Author
10051890
/api/author/10051890
Honfi
Dávid
true
10051890
true
Honfi
Dávid
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87135083
/api/authorship/87135083
2
0.5
false
true
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltán
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
15626296
/api/publicationidentifier/15626296
10.1007/s11219-019-09446-5
https://doi.org/10.1007/s11219-019-09446-5
false
true
PublicationIdentifier
16960416
/api/publicationidentifier/16960416
IDENTICAL
000487128400014
https://www.webofscience.com/wos/woscc/full-record/000487128400014
false
true
PublicationIdentifier
20828457
/api/publicationidentifier/20828457
85066049028
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85066049028
false
true
PublicationIdentifier
15626297
/api/publicationidentifier/15626297
http://link.springer.com/10.1007/s11219-019-09446-5
http://link.springer.com/10.1007/s11219-019-09446-5
false
true
SjrRating
10846011
/api/sjrrating/10846011
21
0.49
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
2214
/api/classificationexternal/2214
true
2214
true
Q2
DIRECT
true
true
/api/publication/30679767
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10051890"> <a href="/gui2/?type=authors&mode=browse&sel=10051890" target="_blank">Honfi, Dávid</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltán</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;30679767" mtid="30679767" target="_blank">Classifying generated white-box tests: an exploratory study</a></div> <div class="pub-info"> <span class="journal-title">SOFTWARE QUALITY JOURNAL</span> <span class="journal-volume">27</span> : <span class="journal-issue">3</span> <span class="page"> pp. 1339-1380. , 42 p. </span> <span class="year">(2019)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1007/s11219-019-09446-5" target="_blank" href="https://doi.org/10.1007/s11219-019-09446-5"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000487128400014" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000487128400014"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85066049028" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85066049028"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://link.springer.com/10.1007/s11219-019-09446-5" target="_blank" href="http://link.springer.com/10.1007/s11219-019-09446-5"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:30679767 </span> <span class="status-holder"><span class="status-data status-APPROVED"> Nyilvános </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 6</span> | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 6 </div> </div> </div> </div><div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10051890"><a href="/gui2/?type=authors&mode=browse&sel=10051890" target="_blank">Honfi Dávid (<span class="authorship-author-name">Honfi Dávid</span> <span class="authorAux-mtmt"> Méréstechnika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;30679767" target="_blank">Classifying generated white-box tests: an exploratory study</a></div> <div> <span class="journal-title">SOFTWARE QUALITY JOURNAL</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0963-9314">0963-9314</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1573-1367">1573-1367</a>)</span>: <span class="journal-volume">27</span> <span class="journal-issue">3</span> <span class="page"> pp 1339-1380 </span> <span class="year">(2019)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1007/s11219-019-09446-5" target="_blank" href="https://doi.org/10.1007/s11219-019-09446-5"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000487128400014" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000487128400014"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85066049028" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85066049028"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://link.springer.com/10.1007/s11219-019-09446-5" target="_blank" href="http://link.springer.com/10.1007/s11219-019-09446-5"> Egyéb URL </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 6</span> | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 6 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 30679767</span> | <span class="status-data status-APPROVED"> Nyilvános </span> Forrás | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> (BME FIKP-MI/SC), Pro Progressio Alapítvány </div> <div class="lastModified">Utolsó módosítás: 2022.03.29. 11:26 Micskei Zoltán Imre (informatika) </div> </div></div>
BookChapter
30748490
ADMIN_APPROVED
true
0
false
2024-02-20T03:07:51.804+0000
2023-12-20T08:41:06.841+0000
2019-07-26T13:48:16.651+0000
true
10045161
Semeráth
Oszkár
/api/author/10045161
Author
true
10045161
2023-02-22T07:46:09.022+0000
2023-02-22T07:46:09.022+0000
2023-12-20T08:41:07.129+0000
true
10060511
Zsömle
Viktor
/api/admin/10060511
Admin
true
10060511
true
false
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
true
10000312
Conference paper
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
/api/subtype/10000312
Konferenciaközlemény
SubType
228
true
10000312
true
1
/api/category/1
Category
true
1
István, Majzik
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
89
94
89
6
2019
Funding
2034786
/api/funding/2034786
false
true
true
2019
true
true
true
true
false
NONE
2024-02-20
false
30
0
28
27
1
19
27
20
23
26
26
25
25
29
1
0
30
29
28
27
0
3
3
false
10042280,10001448,10041151
false
false
false
2019-10-24T16:06:13.547+0000
Járműipari Kutatóközpont (SZE); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
8
16
4
9
0
true
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
13944
true
10011
/api/country/10011
Country
true
5
/api/city/13944
City
true
10004869
true
17031672
/api/publicationidentifier/17031672
https://www.worldcat.org/search?q=isbn%3A9781728125367
9781728125367
PublicationIdentifier
false
/api/publication/30748477
true
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
true
30748477
false
true
true
true
true
10000144
Conference proceedings
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
/api/subtype/10000144
Konferenciakötet
SubType
345
true
10000144
false
Book
2019
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
87625289
/api/authorship/87625289
1
0.11
true
false
false
Author
10001448
/api/author/10001448
Majzik
István
true
10001448
true
István
Majzik
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625290
/api/authorship/87625290
2
0.11
false
false
false
Author
10045161
/api/author/10045161
Semeráth
Oszkár
true
10045161
true
Oszkár
Semeráth
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625291
/api/authorship/87625291
3
0.11
false
false
false
Author
10067362
/api/author/10067362
Hajdu
Csaba
true
true
Csaba
Hajdu
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625292
/api/authorship/87625292
4
0.11
false
false
false
Author
10062709
/api/author/10062709
Marussy
Kristóf
true
10062709
true
Kristóf
Marussy
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625293
/api/authorship/87625293
5
0.11
false
false
false
Author
10041937
/api/author/10041937
Szatmári
Zoltán
true
10041937
true
Zoltán
Szatmári
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625294
/api/authorship/87625294
6
0.11
false
false
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Zoltán
Micskei
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625295
/api/authorship/87625295
7
0.11
false
false
false
Author
10042280
/api/author/10042280
Vörös
András
true
10042280
true
András
Vörös
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625296
/api/authorship/87625296
8
0.11
false
false
false
Aren
A. Babikian
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
87625297
/api/authorship/87625297
9
0.11
false
true
false
Author
10001355
/api/author/10001355
Varró
Dániel
true
10001355
true
Dániel
Varró
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
16524026
/api/publicationidentifier/16524026
IDENTICAL
10.1109/MODELS.2019.00-12
https://doi.org/10.1109/MODELS.2019.00-12
true
true
PublicationIdentifier
17006746
/api/publicationidentifier/17006746
9781728125367
https://www.worldcat.org/search?q=isbn%3A9781728125367
true
true
PublicationIdentifier
17685611
/api/publicationidentifier/17685611
IDENTICAL
000538727000009
https://www.webofscience.com/wos/woscc/full-record/000538727000009
false
true
PublicationIdentifier
20828547
/api/publicationidentifier/20828547
85076087560
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85076087560
false
true
/api/publication/30748490
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" mtid="10001448"> <a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">István, Majzik</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10045161"> <a href="/gui2/?type=authors&mode=browse&sel=10045161" target="_blank">Oszkár, Semeráth</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10067362"> <a href="/gui2/?type=authors&mode=browse&sel=10067362" target="_blank">Csaba, Hajdu</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10062709"> <a href="/gui2/?type=authors&mode=browse&sel=10062709" target="_blank">Kristóf, Marussy</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041937"> <a href="/gui2/?type=authors&mode=browse&sel=10041937" target="_blank">Zoltán, Szatmári</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán, Micskei</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10042280"> <a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">András, Vörös</a> </span> <span class="author-type"> </span> ; <span class="author-name" > Aren, A. Babikian </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10001355"> <a href="/gui2/?type=authors&mode=browse&sel=10001355" target="_blank">Dániel, Varró</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;30748490" mtid="30748490" target="_blank">Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles</a></div> <div class="InBook">In: Alexander, Pretschner; Sebastian, Voss <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;30748477" target="_blank">Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) </a></span > </div><div class="pub-info"> <span class="publishedAt">Munich, Németország : <span class="publisher">IEEE</span> <span class="year">(2019)</span> <span class="page"> pp. 89-94. , 6 p. </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1109/MODELS.2019.00-12" target="_blank" href="https://doi.org/10.1109/MODELS.2019.00-12"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781728125367" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781728125367"> 9781728125367 </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000538727000009" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000538727000009"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85076087560" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85076087560"> Scopus </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:30748490 </span> <span class="status-holder"><span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Könyvrészlet (Konferenciaközlemény ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 30</span> | Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27 </div> </div> </div> </div><div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">István Majzik (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ; <span class="author-name" mtid="10045161"><a href="/gui2/?type=authors&mode=browse&sel=10045161" target="_blank">Oszkár Semeráth (<span class="authorship-author-name">Semeráth Oszkár</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ; <span class="author-name" mtid="10067362"><a href="/gui2/?type=authors&mode=browse&sel=10067362" target="_blank">Csaba Hajdu (<span class="authorship-author-name">Hajdu Csaba</span> <span class="authorAux-mtmt"> Robotika, MI</span>) </a> </span> <span class="author-affil"><span title="Széchenyi István Egyetem">SZE</span>/Járműipari Kutatóközpont</span> ; <span class="author-name" mtid="10062709"><a href="/gui2/?type=authors&mode=browse&sel=10062709" target="_blank">Kristóf Marussy (<span class="authorship-author-name">Marussy Kristóf</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport</span> ; <span class="author-name" mtid="10041937"><a href="/gui2/?type=authors&mode=browse&sel=10041937" target="_blank">Zoltán Szatmári (<span class="authorship-author-name">Szatmári Zoltán</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán Micskei (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10042280"><a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">András Vörös (<span class="authorship-author-name">Vörös András</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport</span> ; <span class="author-name" >Aren A. Babikian </span> ; <span class="author-name" mtid="10001355"><a href="/gui2/?type=authors&mode=browse&sel=10001355" target="_blank">Dániel Varró (<span class="authorship-author-name">Varró Dániel</span> <span class="authorAux-mtmt"> Informatika, szoftvertechnológia</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;30748490" target="_blank">Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype0"> <span class="author-name" >Alexander Pretschner </span> ; <span class="author-name" >Sebastian Voss </span> </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;30748477" target="_blank">Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Munich, Németország <span class="conference-date">2019.09.15. - 2019.09.20.</span> </div> <span class="publishedAt">Munich: <span class="publishers">IEEE</span>, <span class="page"> pp 89-94 </span> <span class="year">(2019)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1109/MODELS.2019.00-12" target="_blank" href="https://doi.org/10.1109/MODELS.2019.00-12"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781728125367" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781728125367"> 9781728125367 </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000538727000009" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000538727000009"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85076087560" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85076087560"> Scopus </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9781728125367" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9781728125367"> 9781728125367 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 30</span> | Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;30748490&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 3 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 30748490</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 30748477</span> Forrás Idéző | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Tehetséggondozás és kutatói utánpótlás fejlesztése autonóm járműirányítási technológiák területén(EFOP-3.6.3-VEKOP-16-2017-00001) Támogató: EFOP-VEKOP </div> <div class="lastModified">Utolsó módosítás: 2023.12.20. 09:41 Zsömle Viktor (SZE 4 admin) </div> </div> </div>
JournalArticle
3163250
ADMIN_APPROVED
true
0
2018-07-02T22:20:39.000+0000
false
3163250
2024-02-18T16:04:24.302+0000
2019-10-21T12:41:34.521+0000
2017-01-09T14:45:27.000+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2019-10-21T12:41:34.554+0000
2019-10-21T12:41:34.554+0000
2019-10-21T12:41:34.536+0000
true
10065569
Pécsi
Éva
/api/admin/10065569
Admin
true
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Lajos, Cseppentő
Evaluating code-based test input generator tools
true
true
/api/journal/10000985
REVIEWED
true
false
10000985
false
10000985
true
0960-0833
1099-1689
Journal
27
6
e1627
e1627
24
2017
2017
true
true
true
false
true
false
NONE
2024-02-18
false
8
0
8
8
0
5
8
6
7
8
8
8
8
8
0
0
8
8
8
8
0
0
0
Q1
false
10041151
false
false
false
2018-03-09T11:19:44.000+0000
2017-01-09T14:46:20.000+0000
Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
1
4
1
2
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
8670178
/api/authorship/8670178
1
0.5
true
false
Lajos
Cseppentő
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
25475839
true
PersonAuthorship
8670179
/api/authorship/8670179
2
0.5
false
true
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Zoltán
Micskei
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
25475838
true
PublicationIdentifier
1160794
/api/publicationidentifier/1160794
false
NO
10.1002/stvr.1627
https://doi.org/10.1002/stvr.1627
false
1516389
true
PublicationIdentifier
1160792
/api/publicationidentifier/1160792
false
IDENTICAL
000408810900002
https://www.webofscience.com/wos/woscc/full-record/000408810900002
false
1652799
true
PublicationIdentifier
1160793
/api/publicationidentifier/1160793
false
NO
85012876215
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85012876215
false
1584086
true
Classification
10034
/api/classification/10034
true
true
SjrRating
10712356
/api/sjrrating/10712356
13
0.24
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
2214
/api/classificationexternal/2214
true
2214
true
Q1
DIRECT
true
true
/api/publication/3163250
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" > Lajos, Cseppentő </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán, Micskei</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;3163250" mtid="3163250" target="_blank">Evaluating code-based test input generator tools</a></div> <div class="pub-info"> <span class="journal-title">SOFTWARE TESTING VERIFICATION & RELIABILITY</span> <span class="journal-volume">27</span> : <span class="journal-issue">6</span> <span class="page"> Paper: e1627 , 24 p. </span> <span class="year">(2017)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1002/stvr.1627" target="_blank" href="https://doi.org/10.1002/stvr.1627"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000408810900002" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000408810900002"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85012876215" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85012876215"> Scopus </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:3163250 </span> <span class="status-holder"><span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 8</span> | Független: 8 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 7 | WoS/Scopus jelölt: 8 | DOI jelölt: 8 </div> </div> </div> </div><div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" >Lajos Cseppentő </span> ; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán Micskei (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;3163250" target="_blank">Evaluating code-based test input generator tools</a></div> <div> <span class="journal-title">SOFTWARE TESTING VERIFICATION & RELIABILITY</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0960-0833">0960-0833</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1099-1689">1099-1689</a>)</span>: <span class="journal-volume">27</span> <span class="journal-issue">6</span> <span class="page"> Paper e1627. 24 p. </span> <span class="year">(2017)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="10.1002/stvr.1627" target="_blank" href="https://doi.org/10.1002/stvr.1627"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000408810900002" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000408810900002"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85012876215" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85012876215"> Scopus </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 8</span> | Független: 8 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 7 | WoS/Scopus jelölt: 8 | DOI jelölt: 8 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 3163250</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="oldId">Régi azonosító: 3163250</span> | Forrás | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2019.10.21. 14:41 Pécsi Éva (MTMT Közp 3, admin) </div> </div></div>
BookChapter
3266689
VALIDATED
true
Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary
MTA-BME Lendület Cyber-Physical Systems Research Group, Hungary
Conference code: 132392
Cited By :19
Export Date: 25 October 2022
0
2018-03-09T11:23:19.000+0000
false
3266689
2024-02-18T22:53:29.149+0000
2022-10-12T12:27:27.304+0000
2017-09-17T10:07:35.000+0000
true
10053159
Hajdu
Ákos
/api/author/10053159
Author
true
10053159
2022-10-25T09:15:17.508+0000
2022-10-12T12:27:27.250+0000
true
10067876
MTMT
API
/api/admin/10067876
Admin
true
true
false
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
true
10000312
Conference paper
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
/api/subtype/10000312
Konferenciaközlemény
SubType
228
true
10000312
true
1
/api/category/1
Category
true
1
Tóth, Tamás
Theta: a Framework for Abstraction Refinement-Based Model Checking
176
179
176
4
2017
Funding
1969199
/api/funding/1969199
false
1969199
true
2017
true
true
true
true
true
false
GREEN
2024-02-18
true
http://real.mtak.hu/73988
true
10053159
Hajdu
Ákos
/api/author/10053159
Author
true
10053159
26
0
25
15
9
20
20
12
15
17
17
10
10
16
10
0
26
16
25
15
0
5
5
false
10042280,10041151
false
false
false
2018-03-09T11:23:19.000+0000
2017-11-11T10:03:52.000+0000
Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
5
6
1
5
0
true
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
17370
true
10039
/api/country/10039
Country
true
2149310
/api/city/17370
City
true
true
10939
true
10017
/api/country/10017
Country
true
13
/api/city/10939
City
true
2054246
true
1227355
/api/publicationidentifier/1227355
https://www.worldcat.org/search?q=isbn%3A9780983567875
9780983567875
PublicationIdentifier
false
/api/publication/3266688
true
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
3266688
false
false
3266688
true
true
true
true
true
10000144
Conference proceedings
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
/api/subtype/10000144
Konferenciakötet
SubType
345
true
10000144
false
Book
2017
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
9337258
/api/authorship/9337258
1
0.2
true
false
Author
10047002
/api/author/10047002
Tóth
Tamás
true
10047002
true
Tóth
Tamás
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
26808124
true
PersonAuthorship
9337259
/api/authorship/9337259
2
0.2
false
false
Author
10053159
/api/author/10053159
Hajdu
Ákos
true
10053159
true
Hajdu
Ákos
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
26808123
true
PersonAuthorship
9337260
/api/authorship/9337260
3
0.2
false
false
Author
10042280
/api/author/10042280
Vörös
András
true
10042280
true
Vörös
András
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
26808122
true
PersonAuthorship
9337261
/api/authorship/9337261
4
0.2
false
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Micskei
Zoltán
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
26808121
true
PersonAuthorship
9337262
/api/authorship/9337262
5
0.2
false
true
Author
10001448
/api/author/10001448
Majzik
István
true
10001448
true
Majzik
István
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
26808120
true
PublicationIdentifier
1227356
/api/publicationidentifier/1227356
false
IDENTICAL
10.23919/FMCAD.2017.8102257
https://doi.org/10.23919/FMCAD.2017.8102257
false
1664599
true
PublicationIdentifier
1227357
/api/publicationidentifier/1227357
GREEN
true
NO
73988
http://real.mtak.hu/73988
false
1715048
true
PublicationIdentifier
12981472
/api/publicationidentifier/12981472
IDENTICAL
000433173000030
https://www.webofscience.com/wos/woscc/full-record/000433173000030
false
18189665
true
PublicationIdentifier
21804947
/api/publicationidentifier/21804947
IDENTICAL
85044667239
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85044667239
false
true
PublicationIdentifier
12981473
/api/publicationidentifier/12981473
NO
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf
false
16137336
true
/api/publication/3266689
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" mtid="10047002"> <a href="/gui2/?type=authors&mode=browse&sel=10047002" target="_blank">Tóth, Tamás</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10053159"> <a href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu, Ákos</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10042280"> <a href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös, András</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei, Zoltán</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10001448"> <a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik, István</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;3266689" mtid="3266689" target="_blank">Theta: a Framework for Abstraction Refinement-Based Model Checking</a></div> <div class="InBook">In: Stewart, Daryl; Weissenbacher, Georg (szerk.) <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;3266688" target="_blank">Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design </a></span > </div><div class="pub-info"> <span class="publishedAt">Vienna, Ausztria,</span> <span class="publishedAt">Piscataway (NJ), Amerikai Egyesült Államok : <span class="publisher">FMCAD Association</span>, <span class="publisher">IEEE</span> <span class="year">(2017)</span> <span class="page"> pp. 176-179. , 4 p. </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.23919/FMCAD.2017.8102257" target="_blank" href="https://doi.org/10.23919/FMCAD.2017.8102257"> DOI </a> </span> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="73988" target="_blank" href="http://real.mtak.hu/73988"> REAL </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000433173000030" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000433173000030"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85044667239" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85044667239"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf" target="_blank" href="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf"> Teljes dokumentum </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:3266689 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Könyvrészlet (Konferenciaközlemény ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 26</span> | Független: 16 | Függő: 10 | Nem jelölt: 0 | WoS jelölt: 12 | Scopus jelölt: 15 | WoS/Scopus jelölt: 17 | DOI jelölt: 20 </div> </div> </div> </div><div class="BookChapter Publication long-list">
<div class="authors">
<img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png">
<img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png">
<div class="autype autype0"> <span class="author-name" mtid="10047002"><a
href="/gui2/?type=authors&mode=browse&sel=10047002" target="_blank">Tóth Tamás
(<span class="authorship-author-name">Tóth Tamás</span>
<span class="authorAux-mtmt"> méréstechnika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
;
<span class="author-name" mtid="10053159"><a
href="/gui2/?type=authors&mode=browse&sel=10053159" target="_blank">Hajdu Ákos
(<span class="authorship-author-name">Hajdu Ákos</span>
<span class="authorAux-mtmt"> formális módszerek</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
;
<span class="author-name" mtid="10042280"><a
href="/gui2/?type=authors&mode=browse&sel=10042280" target="_blank">Vörös András
(<span class="authorship-author-name">Vörös András</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
;
<span class="author-name" mtid="10041151"><a
href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán
(<span class="authorship-author-name">Micskei Zoltán Imre</span>
<span class="authorAux-mtmt"> informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
;
<span class="author-name" mtid="10001448"><a
href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik István
(<span class="authorship-author-name">Majzik István</span>
<span class="authorAux-mtmt"> Műszaki informatika</span>)
</a>
</span>
<span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span>
</div>
</div>
<div class="title"><a href="/gui2/?mode=browse¶ms=publication;3266689" target="_blank">Theta: a Framework for Abstraction Refinement-Based Model Checking</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors">
<div class="autype autype-1"> <span class="author-name" >Stewart Daryl
</span>
;
<span class="author-name" >Weissenbacher Georg
</span>
(szerk.) </div>
</div>
<div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;3266688" target="_blank">Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design </a></div>
<div class="conference">
Konferencia helye, ideje:
<span class="location">Vienna, Ausztria
<span class="conference-date">2017.10.02.
-
2017.10.06.</span>
</div>
<span class="publishedAt">Vienna,</span> <span class="publishedAt">Piscataway (NJ):
<span class="publishers">FMCAD Association</span>,
<span class="publishers">IEEE</span>,
<span class="page">
pp 176-179
</span> <span class="year">(2017)</span>
</div>
<div class="pub-footer">
<span class="language" xmlns="http://www.w3.org/1999/html">Nyelv:
Angol
| </span>
<span class="identifiers">
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="10.23919/FMCAD.2017.8102257" target="_blank" href="https://doi.org/10.23919/FMCAD.2017.8102257">
DOI
</a>
</span>
<span class="id identifier oa_GREEN" title=" Green
">
<a style="color:black" title="73988" target="_blank" href="http://real.mtak.hu/73988">
REAL
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="000433173000030" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000433173000030">
WoS
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:blue" title="85044667239" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85044667239">
Scopus
</a>
</span>
<span class="id identifier oa_none" title="none">
<a style="color:black" title="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf" target="_blank" href="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s7p4.pdf">
Teljes dokumentum
</a>
</span>
</span>
<span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers">
<span class="id identifier oa_none" title="none">
<span class="isbnOrIssn"> ISBN: </span>
<a style="color:black" title="9780983567875" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9780983567875">
9780983567875
</a>
</span>
</span>
<div class="publication-citation" style="margin-left: 0.5cm;">
<span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 26</span>
| Független: 16
| Függő: 10
| Nem jelölt: 0
| WoS jelölt: 12
| Scopus jelölt: 15
| WoS/Scopus jelölt: 17
| DOI jelölt: 20
</div>
<div class="publication-citation">
<a target="_blank" href="/api/publication?cond=citations.related;eq;3266689&sort=publishedYear,desc&sort=title">
Idézett közlemények száma: 5
</a>
</div>
<div class="mtid"><span class="long-pub-mtid">Közlemény: 3266689</span>
| <span class="status-data status-VALIDATED"> Egyeztetett
</span>
<span class="long-book-mtid">Befoglaló: 3266688</span>
<span class="oldId">Régi azonosító: 3266689</span> |
<span class="oldId">Befoglaló: 3266688</span>
Forrás Idéző
| <span class="type-subtype">Könyvrészlet
( Konferenciaközlemény
)
</span>
| <span class="pub-category">Tudományos</span>
| <span class="publication-sourceOfData">kézi felvitel</span>
</div>
<div class="funder"> Támogató: MTA Lendület </div>
<div class="lastModified">Utolsó módosítás: 2022.10.12. 14:27 MTMT API (MTMT API user, admin)
</div>
<pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary
MTA-BME Lendület Cyber-Physical Systems Research Group, Hungary
Conference code: 132392
Cited By :19
Export Date: 25 October 2022</pre>
</div>
</div>
BookChapter
2685378
VALIDATED
true
0
2018-10-02T08:54:25.000+0000
false
2685378
2024-01-03T09:56:31.632+0000
2018-10-02T08:54:25.000+0000
2012-04-26T13:36:00.000+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2018-10-21T12:29:52.476+0000
2018-10-21T12:29:52.476+0000
2017-02-15T08:17:02.000+0000
true
10039288
Szmolyán
Mária
/api/admin/10039288
Admin
true
10039288
2017-02-15T08:17:02.000+0000
true
10039288
Szmolyán
Mária
/api/admin/10039288
Admin
true
10039288
true
false
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
true
10000312
Conference paper
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
/api/subtype/10000312
Konferenciaközlemény
SubType
228
true
10000312
true
1
/api/category/1
Category
true
1
Zoltán, Micskei
A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems
504
513
504
10
2012
Autonomous systems are used nowadays in more and more sectors
from vehicles to domestic robots. They can make decisions on
their own or interact with humans, thus their robustness and
safety are properties of crucial importance. Due to the adaptive
and context-aware nature of these systems, the testing of such
properties is especially challenging. In this paper, we propose
a model-based testing approach to capture the context and
requirements of such systems, to automatically generate test
data representing complex situations, and to evaluate test
traces and compute test coverage metrics.
2012
bme-pa-migracio-20014-06-20-v01
true
true
true
true
true
false
PAY
2024-01-03
false
true
10039288
Szmolyán
Mária
/api/admin/10039288
Admin
true
10039288
32
0
31
31
1
20
29
26
15
29
29
29
29
32
0
0
32
32
31
31
0
0
0
false
10041151,10001448
false
false
false
2017-02-15T08:17:02.000+0000
2014-06-23T17:04:30.000+0000
Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
4
5
1
4
0
true
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
10489
true
10011
/api/country/10011
Country
true
5
/api/city/10489
City
true
1022992
true
10500
true
10011
/api/country/10011
Country
true
5
/api/city/10500
City
true
1028552
true
549160
/api/publicationidentifier/549160
https://www.worldcat.org/search?q=isbn%3A9783642309465
9783642309465
PublicationIdentifier
false
true
10191256
/api/publicationidentifier/10191256
https://www.worldcat.org/search?q=isbn%3A3642309461
3642309461
PublicationIdentifier
false
/api/publication/2016573
true
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
Agent and Multi-Agent Systems. Technologies and Applications
2016573
false
2016573
true
true
true
true
true
10000144
Conference proceedings
true
23
23
/api/publicationtype/23
PublicationType
3
true
23
Book
/api/subtype/10000144
Konferenciakötet
SubType
345
true
10000144
false
Book
2012
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
5343062
/api/authorship/5343062
1
0.25
true
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Zoltán
Micskei
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
20024969
true
PersonAuthorship
5343063
/api/authorship/5343063
2
0.25
false
false
Author
10041937
/api/author/10041937
Szatmári
Zoltán
true
10041937
true
Zoltán
Szatmári
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
20024968
true
PersonAuthorship
5343064
/api/authorship/5343064
3
0.25
false
false
Author
10042262
/api/author/10042262
Oláh
János
true
10042262
true
János
Oláh
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
20024967
true
PersonAuthorship
5343065
/api/authorship/5343065
4
0.25
false
true
Author
10001448
/api/author/10001448
Majzik
István
true
10001448
true
István
Majzik
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
20024966
true
PublicationIdentifier
859793
/api/publicationidentifier/859793
PAY
false
IDENTICAL
10.1007/978-3-642-30947-2_55
https://doi.org/10.1007/978-3-642-30947-2_55
false
868458
true
PublicationIdentifier
859792
/api/publicationidentifier/859792
false
NO
84863528295
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84863528295
false
868457
true
PublicationIdentifier
859795
/api/publicationidentifier/859795
false
NO
http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf
http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf
false
868459
true
PublicationIdentifier
859794
/api/publicationidentifier/859794
false
NO
r37K_gUN6bwJ
http://scholar.Google.com/scholar?hl=en&lr=&cluster=r37K_gUN6bwJ
false
868456
true
/api/publication/2685378
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán, Micskei</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10041937"> <a href="/gui2/?type=authors&mode=browse&sel=10041937" target="_blank">Zoltán, Szatmári</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10042262"> <a href="/gui2/?type=authors&mode=browse&sel=10042262" target="_blank">János, Oláh</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10001448"> <a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">István, Majzik</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;2685378" mtid="2685378" target="_blank">A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems</a></div> <div class="InBook">In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;2016573" target="_blank">Agent and Multi-Agent Systems. Technologies and Applications : 6th KES International Conference, KES-AMSTA 2012 </a></span > </div><div class="pub-info"> <span class="publishedAt">Berlin, Németország,</span> <span class="publishedAt">Heidelberg, Németország : <span class="publisher">Springer-Verlag</span> <span class="year">(2012)</span> <span class="page"> pp. 504-513. , 10 p. </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_PAY" title=" Fizetős "> <a style="color:blue" title="10.1007/978-3-642-30947-2_55" target="_blank" href="https://doi.org/10.1007/978-3-642-30947-2_55"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="84863528295" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84863528295"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf" target="_blank" href="http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf"> Teljes dokumentum </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="r37K_gUN6bwJ" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=r37K_gUN6bwJ"> Google scholar hash </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:2685378 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Könyvrészlet (Konferenciaközlemény ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 32</span> | Független: 32 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 26 | Scopus jelölt: 15 | WoS/Scopus jelölt: 29 | DOI jelölt: 29 </div> </div> </div> </div><div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán Micskei (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10041937"><a href="/gui2/?type=authors&mode=browse&sel=10041937" target="_blank">Zoltán Szatmári (<span class="authorship-author-name">Szatmári Zoltán</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10042262"><a href="/gui2/?type=authors&mode=browse&sel=10042262" target="_blank">János Oláh (<span class="authorship-author-name">Oláh János</span> <span class="authorAux-mtmt"> információs rendszerek</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">István Majzik (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;2685378" target="_blank">A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" >Jezic G </span> ; <span class="author-name" >Kusek M </span> ; <span class="author-name" >Nguyen N T </span> ; <span class="author-name" >Howlett R J </span> ; <span class="author-name" >Jain L C </span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;2016573" target="_blank">Agent and Multi-Agent Systems. Technologies and Applications : 6th KES International Conference, KES-AMSTA 2012 </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Dubrovnik, Horvátország <span class="conference-date">2012.06.25. - 2012.06.27.</span> </div> <span class="editionNumber">(1)</span> <span class="publishedAt">Berlin,</span> <span class="publishedAt">Heidelberg: <span class="publishers">Springer-Verlag</span>, <span class="page"> pp 504-513 </span> <span class="year">(2012)</span> ( <span class="seriesTitle">Lecture Notes in Computer Science</span> <span class="issn">0302-9743</span> <span class="issn">1611-3349</span> <span class="seriesVolume">; 7327</span>) </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_PAY" title=" Fizetős "> <a style="color:blue" title="10.1007/978-3-642-30947-2_55" target="_blank" href="https://doi.org/10.1007/978-3-642-30947-2_55"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="84863528295" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84863528295"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf" target="_blank" href="http://mit.bme.hu/~micskeiz/papers/micskei-trumas-kes-amsta-2012.pdf"> Teljes dokumentum </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="r37K_gUN6bwJ" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=r37K_gUN6bwJ"> Google scholar hash </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9783642309465" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9783642309465"> 9783642309465 </a> </span> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="3642309461" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A3642309461"> 3642309461 </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 32</span> | Független: 32 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 26 | Scopus jelölt: 15 | WoS/Scopus jelölt: 29 | DOI jelölt: 29 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 2685378</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> <span class="long-book-mtid">Befoglaló: 2016573</span> <span class="oldId">Régi azonosító: 2685378</span> | <span class="oldId">Befoglaló: 2016573</span> Forrás | <span class="type-subtype">Könyvrészlet ( Konferenciaközlemény ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2018.10.02. 10:54 MTMT1 Admin (admin) </div> </div> </div>
JournalArticle
2654239
APPROVED
true
0
2015-05-27T07:38:06.000+0000
false
2654239
2024-03-17T00:27:50.536+0000
2019-08-23T09:09:32.541+0000
2010-05-15T22:00:00.000+0000
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
2019-08-23T09:09:32.576+0000
2019-08-23T09:09:32.576+0000
true
false
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
1
/api/category/1
Category
true
1
Zoltán, Micskei
The many meanings of UML 2 Sequence Diagrams: a survey
true
true
/api/journal/10010298
REVIEWED
true
false
10010298
false
10010298
true
1619-1366
1619-1374
Journal
FOREIGN
10
4
489
514
489
26
2011
Scenario languages are widely used in software development.
Typical usage scenarios, forbidden behaviors, test cases, and
many more aspects can be depicted with graphical scenarios.
Scenario languages were introduced into the Unified Modeling
Language (UML) under the name of Sequence Diagrams. The 2.0
version of UML changed Sequence Diagrams significantly and
the
expressiveness of the language was highly increased. However,
the complexity of the language (and the diversity of the
goals
Sequence Diagrams are used for) yields several possible
choices
in its semantics. This paper collects and categorizes the
semantic choices in the language, surveys the formal
semantics
proposed for Sequence Diagrams, and presents how these
approaches handle the various semantic choices.
2010
bme-pa-migracio-20014-06-20-v01
true
true
true
false
true
false
GOLD
2024-03-17
true
https://doi.org/10.1007/s10270-010-0157-9
true
10041151
Micskei
Zoltán Imre
/api/author/10041151
Author
true
10041151
81
0
76
73
4
64
67
51
44
62
62
59
59
78
3
0
81
78
76
73
0
0
0
Q1
false
10041151
false
false
false
2014-09-21T17:04:30.000+0000
2014-06-23T17:04:30.000+0000
Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)
1
4
1
2
0
true
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
5289307
/api/authorship/5289307
1
0.5
true
false
Author
10041151
/api/author/10041151
Micskei
Zoltán Imre
true
10041151
true
Zoltán
Micskei
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
19936670
true
PersonAuthorship
5289308
/api/authorship/5289308
2
0.5
false
true
Helene
Waeselynck
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
19936669
true
PublicationIdentifier
843164
/api/publicationidentifier/843164
GOLD
true
NO
10.1007/s10270-010-0157-9
https://doi.org/10.1007/s10270-010-0157-9
false
807226
true
PublicationIdentifier
843162
/api/publicationidentifier/843162
false
IDENTICAL
000295272200005
https://www.webofscience.com/wos/woscc/full-record/000295272200005
false
807224
true
PublicationIdentifier
843163
/api/publicationidentifier/843163
false
NO
80053131683
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80053131683
false
807225
true
PublicationIdentifier
843167
/api/publicationidentifier/843167
false
NO
http://www.springerlink.com/content/6716hk1844h16694
http://www.springerlink.com/content/6716hk1844h16694
false
807227
true
PublicationIdentifier
843165
/api/publicationidentifier/843165
false
NO
3307897345576575769
http://scholar.Google.com/scholar?hl=en&lr=&cluster=3307897345576575769
false
807222
true
PublicationIdentifier
843166
/api/publicationidentifier/843166
false
NO
GaOMHBwD6C0J
http://scholar.Google.com/scholar?hl=en&lr=&cluster=GaOMHBwD6C0J
false
807223
true
Classification
10003
/api/classification/10003
true
true
Classification
10034
/api/classification/10034
true
true
SjrRating
5710618
/api/sjrrating/5710618
45
0.24
journal
RatingType
10002
/api/ratingtype/10002
sjr
true
true
ClassificationExternal
2611
/api/classificationexternal/2611
true
2611
true
Q1
DIRECT
true
5710618
true
/api/publication/2654239
<div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10041151"> <a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán, Micskei</a> </span> <span class="author-type"> </span> ; <span class="author-name" > Helene, Waeselynck </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;2654239" mtid="2654239" target="_blank">The many meanings of UML 2 Sequence Diagrams: a survey</a></div> <div class="pub-info"> <span class="journal-title">SOFTWARE AND SYSTEMS MODELING</span> <span class="journal-volume">10</span> : <span class="journal-issue">4</span> <span class="page"> pp. 489-514. , 26 p. </span> <span class="year">(2011)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:black" title="10.1007/s10270-010-0157-9" target="_blank" href="https://doi.org/10.1007/s10270-010-0157-9"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000295272200005" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000295272200005"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="80053131683" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80053131683"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://www.springerlink.com/content/6716hk1844h16694" target="_blank" href="http://www.springerlink.com/content/6716hk1844h16694"> Egyéb URL </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="3307897345576575769" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=3307897345576575769"> Google scholar </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="GaOMHBwD6C0J" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=GaOMHBwD6C0J"> Google scholar hash </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:2654239 </span> <span class="status-holder"><span class="status-data status-APPROVED"> Nyilvános </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 81</span> | Független: 78 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 51 | Scopus jelölt: 44 | WoS/Scopus jelölt: 62 | DOI jelölt: 67 </div> </div> </div> </div><div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Zoltán Micskei (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék</span> ; <span class="author-name" >Helene Waeselynck </span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;2654239" target="_blank">The many meanings of UML 2 Sequence Diagrams: a survey</a></div> <div> <span class="journal-title">SOFTWARE AND SYSTEMS MODELING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1619-1366">1619-1366</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1619-1374">1619-1374</a>)</span>: <span class="journal-volume">10</span> <span class="journal-issue">4</span> <span class="page"> pp 489-514 </span> <span class="year">(2011)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:black" title="10.1007/s10270-010-0157-9" target="_blank" href="https://doi.org/10.1007/s10270-010-0157-9"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000295272200005" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000295272200005"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="80053131683" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-80053131683"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://www.springerlink.com/content/6716hk1844h16694" target="_blank" href="http://www.springerlink.com/content/6716hk1844h16694"> Egyéb URL </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="3307897345576575769" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=3307897345576575769"> Google scholar </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="GaOMHBwD6C0J" target="_blank" href="http://scholar.Google.com/scholar?hl=en&lr=&cluster=GaOMHBwD6C0J"> Google scholar hash </a> </span> </span> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 81</span> | Független: 78 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 51 | Scopus jelölt: 44 | WoS/Scopus jelölt: 62 | DOI jelölt: 67 </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 2654239</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="oldId">Régi azonosító: 2654239</span> | Forrás | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2019.08.23. 11:09 Megyeri Zsuzsa (BME VIK admin 5) </div> </div></div>