TY  - GEN
AU  - Ibrahim, Ahmed Abdulbaki
TI  - Bridging the Gap: Developing a Standardized Framework for any C++ Code Coverage Tool
CY  - Academic supervisor: Dr. ir. M.C. (Martin) Bor, m.c.bor@uva.nl
PY  - 2023
SP  - 1
EP  - 51
PG  - 51
UR  - https://m2.mtmt.hu/api/publication/34396946
ID  - 34396946
AB  - Code coverage tools showcase the degree to which software source code has been thoroughly tested, following the execution of a specific test suite. As a measure of software quality, code coverage should ideally be accurate and consistent, allowing no room for discrepancies in its assessment of source code. Unfortunately, this is not the case in reality. For software testers to manage such inconsistencies effectively, a standardized framework is necessary for their identification and mitigation. However, developing a systematic protocol presents a challenge due to the diverse nature of these inconsistencies; some are tool-specific shortcomings, while others arise from confusion about the coverage status of particular code statements. The highly language-dependent nature of coverage tools, along with the numerous different types of coverage criteria, further complicates the issue. As a result, we have focused solely on the C++ language specification and the statement, branch, modified conditiondecision coverage criteria. Our selections are motivated by the need for coverage tools to comply with the development of safety-critical systems and their applications.
Our proposed framework comprises three key elements: a robust set of software requirements that define the necessary functionalities of any coverage tool, an innovative test suite that incorporates all aspects of the aforementioned requirement set in addition to ambiguous code statements, and a Python
tool that evaluates the performance of any C++ coverage tool in line with our unique test suite. The necessity to address these concerns is emphasized by a significant gap in current literature and research examining discrepancies in code coverage tools’ behaviour. This represents a considerable risk to safety-critical systems and their compliance with pertinent guidelines and international standards, such as DO-178C and ISO26262.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Huang, Xiaomeng
AU  - Huang, Xing
AU  - Wang, Dong
AU  - Wu, Qi
AU  - Li, Yi
AU  - Zhang, Shixun
AU  - Chen, Yuwen
AU  - Wang, Mingqing
AU  - Gao, Yuan
AU  - Tang, Qiang
AU  - Chen, Yue
AU  - Fang, Zheng
AU  - Song, Zhenya
AU  - Yang, Guangwen
TI  - OpenArray v1.0: a simple operator library for the decoupling of ocean modeling and parallel computing
JF  - GEOSCIENTIFIC MODEL DEVELOPMENT
J2  - GEOSCI MODEL DEV
VL  - 12
PY  - 2019
IS  - 11
SP  - 4729
EP  - 4749
PG  - 21
SN  - 1991-959X
DO  - 10.5194/gmd-12-4729-2019
UR  - https://m2.mtmt.hu/api/publication/30918133
ID  - 30918133
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Vivek, Patel
AU  - Piyush, Mishra
AU  - J C, Patni
AU  - Parul, Mittal
ED  - Pushpak, Bhattacharyya
ED  - Hanumat, G Sastry
ED  - Venkatadri, Marriboyina
ED  - Rashmi, Sharma
TI  - Comparison of Runtime Performance Optimization Using Template-Metaprogramming
T2  - Smart and Innovative Trends in Next Generation Computing Technologies, Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I
PB  - Springer-Verlag Singapore
CY  - Singapore
SN  - 9789811086564
T3  - Communications in Computer and Information Science, ISSN 1865-0929
PB  - Springer-Verlag Singapore
PY  - 2018
DO  - 10.1007/978-981-10-8657-1
UR  - https://m2.mtmt.hu/api/publication/27423605
ID  - 27423605
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Harvey, P
AU  - Hentschel, K
AU  - Sventek, J
TI  - Parallel programming in actor-based applications via OpenCL
T2  - 16th International Middleware Conference, Middleware 2015
PB  - Association for Computing Machinery (ACM)
SN  - 9781450336185
PB  - Association for Computing Machinery (ACM)
PY  - 2015
SP  - 162
EP  - 172
PG  - 11
DO  - 10.1145/2814576.2814732
UR  - https://m2.mtmt.hu/api/publication/26841075
ID  - 26841075
N1  - A4 Association for Computing Machinery (ACM); HP; IBM; The Advanced Computing Systems Association (USENIX)
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Lilis, Y
AU  - Savidis, A
TI  - An integrated implementation framework for compile-time metaprogramming
JF  - SOFTWARE-PRACTICE & EXPERIENCE
J2  - SOFTW PRACT EXPER
VL  - 45
PY  - 2015
IS  - 6
SP  - 727
EP  - 763
PG  - 37
SN  - 0038-0644
DO  - 10.1002/spe.2241
UR  - https://m2.mtmt.hu/api/publication/26841077
ID  - 26841077
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Paul, Harvey
TI  - A linguistic approach to concurrent, distributed, and adaptive programming across heterogeneous platforms
PY  - 2015
SP  - 207
UR  - https://m2.mtmt.hu/api/publication/27426104
ID  - 27426104
N1  - PhD thesis, University of Glasgow, 
Printed Thesis Information: http://encore.lib.gla.ac.uk/iii/encore/record/C__Rb3130022
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Pavletic, D
AU  - Voelter, M
AU  - Raza, SA
AU  - Kolb, B
AU  - Kehrer, T
ED  - Vardanega, T
TI  - Extensible debugger framework for extensible languages
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 9111
PY  - 2015
SP  - 33
EP  - 49
PG  - 17
SN  - 0302-9743
DO  - 10.1007/978-3-319-19584-1_3
UR  - https://m2.mtmt.hu/api/publication/26841076
ID  - 26841076
N1  - A4 AdaCore; Rapita Systems Ltd.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Chen, S
AU  - Erwig, M
TI  - Early detection of type errors in C++ templates
T2  - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014
PB  - Association for Computing Machinery (ACM)
SN  - 9781450326193
PB  - Association for Computing Machinery (ACM)
PY  - 2014
SP  - 133
EP  - 144
PG  - 12
DO  - 10.1145/2543728.2543731
UR  - https://m2.mtmt.hu/api/publication/26841078
ID  - 26841078
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Sinkovics, Ábel
AU  - Porkoláb, Zoltán
ED  - Marjan, Mernik
TI  - Domain-Specific Language Integration with C++ Template Metaprogramming
T2  - Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
PB  - Information Science Reference
CY  - Hershey (PA)
SN  - 9781466620926
PY  - 2013
SP  - 32
EP  - 55
PG  - 24
DO  - 10.4018/978-1-4666-2092-6.ch002
UR  - https://m2.mtmt.hu/api/publication/2118863
ID  - 2118863
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Lilis, Y
AU  - Savidis, A
TI  - An integrated approach to source level debugging and compile error reporting in metaprograms
JF  - JOURNAL OF OBJECT TECHNOLOGY
J2  - J OBJECT TECHNOL
VL  - 12
PY  - 2013
IS  - 3
SN  - 1660-1769
DO  - 10.5381/jot.2013.12.3.a1
UR  - https://m2.mtmt.hu/api/publication/27463610
ID  - 27463610
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Yannis, Lilis
AU  - Anthony, Savidis
TI  - Supporting compile-time debugging and precise error reporting in meta-programs
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 7304
PY  - 2012
IS  - Praha
SP  - 155
EP  - 170
PG  - 16
SN  - 0302-9743
DO  - 10.1007/978-3-642-30561-0_12
UR  - https://m2.mtmt.hu/api/publication/22694109
ID  - 22694109
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Mihalicza, József
AU  - Pataki, Norbert
AU  - Porkoláb, Zoltán
ED  - Penjam, Jaan
TI  - Compiler Support for Profiling C++ Template Metaprograms
T2  - 12th Symposium on Programming Languages and Software Tools, SPLST 2011
PB  - Tallinn University of Technology
CY  - Tallinn
SN  - 9789949231782
PY  - 2011
SP  - 32
EP  - 43
PG  - 12
UR  - https://m2.mtmt.hu/api/publication/1996654
ID  - 1996654
N1  - 
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Porkoláb, Zoltán
AU  - Sinkovics, Ábel
TI  - Domain-specific language integration with compile-time parser generator library
JF  - ACM SIGPLAN NOTICES
J2  - ACM SIGPLAN NOTICES
VL  - 46
PY  - 2011
IS  - 2
SP  - 137
EP  - 146
PG  - 10
SN  - 0362-1340
DO  - 10.1145/1942788.1868315
UR  - https://m2.mtmt.hu/api/publication/2743864
ID  - 2743864
N1  - Admin megjegyzés-26841080
#JournalID1#
Name: ACM SIGPLAN Notices
ISSN: 1523-2867
#JournalID2#
AB  - Smooth integration of domain-specific languages into a general 
purpose host language requires absorbing of domain code written 
in arbitrary syntax. The integration should cause minimal 
syntactical and semantic overhead and introduce minimal 
dependency on external tools. In this paper we discuss a DSL 
integration technique for the C++ programming language. The 
solution is based on compile-time parsing of the DSL code. The 
parser generator is a C++ template metaprogram reimplementation 
of a runtime Haskell parser generator library. The full parsing 
phase is executed when the host program is compiled. The library 
uses only standard C++ language features, thus our solution is 
highly portable. As a demonstration of the power of this 
approach, we present a highly efficient and type-safe version of 
printf and the way it can be constructed using our library. 
Despite the well known syntactical difficulties of C++ template 
metaprograms, building embedded languages using our library 
leads to self-documenting C++ source code. Copyright © 2010 ACM.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Sinkovics, Ábel
AU  - Sajó, Endre
AU  - Porkoláb, Zoltán
ED  - Penjam, Jaan
TI  - Towards more reliable C++ template metaprograms
T2  - 12th Symposium on Programming Languages and Software Tools, SPLST 2011
PB  - Tallinn University of Technology
CY  - Tallinn
SN  - 9789949231782
PY  - 2011
SP  - 260
EP  - 271
PG  - 12
UR  - https://m2.mtmt.hu/api/publication/2118873
ID  - 2118873
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Szűgyi, Zalán
AU  - Sinkovics, Ábel
AU  - Pataki, Norbert
AU  - Porkoláb, Zoltán
TI  - C++ metastring library and its applications
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 6491 LNCS
PY  - 2011
SP  - 461
EP  - 480
PG  - 20
SN  - 0302-9743
DO  - 10.1007/978-3-642-18023-1_15
UR  - https://m2.mtmt.hu/api/publication/2400596
ID  - 2400596
N1  - Megjegyzés-23382203
T3 3rd International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009
Megjegyzés-24213496
A4 Universitat Koblenz-Landau; Universidade do Minho, Departamento de Informatica; Centro de Ciencias e Tecnologias de Computacao; Fundacao para a Ciencia e a Tecnologia; Luso-American Foundation
Megjegyzés-22566328
T3 3rd International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009
AB  - C++ template metaprogramming is an emerging direction of generative programming: with proper template definitions we can enforce the C++ compiler to execute algorithms at compilation time. Template metaprograms have become essential part of today's C++ programs of industrial size; they provide code adoptions, various optimizations, DSL embedding, etc. Besides the compilation time algorithms, template metaprogram data-structures are particularly important. From simple typelists to more advanced STL-like data types there are a variety of such constructs. Interesting enough, until recently string, as one of the most widely used data type of programming, has not been supported. Although, boost::mpl::string is an advance in this area, it still lacks the most fundamental string operations. In this paper, we analysed the possibilities of handling string objects at compilation time with a metastring library. We created a C++ template metaprogram library that provides the common string operations, like creating sub-strings, concatenation, replace, and similar. To provide real-life use-cases we implemented two applications on top of our Metastring library. One use case utilizes compilation time inspection of input in the domain of pattern matching algorithms, thus we are able to select the more optimal search method at compilation time. The other use-case implements safePrint, a type-safe version of printf - a widely investigated problem. We present both the performance improvements and extended functionality we have achieved in the applications of our Metastring library. © 2011 Springer-Verlag.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Zalán, Szűgyi
AU  - Ábel, Sinkovics
AU  - Norbert, Pataki
AU  - Zoltán, Porkoláb
ED  - Fernandes, João M
ED  - Lämmel, Ralf
ED  - Visser, Joost
ED  - Saraiva, João
TI  - C++ metastring library and its applications
T2  - Generative and Transformational Techniques in Software Engineering III
PB  - Springer Netherlands
CY  - Berlin
CY  - Heidelberg
SN  - 9783642180224
T3  - Lecture Notes in Computer Science, ISSN 0302-9743
PY  - 2011
SP  - 461
EP  - 480
PG  - 20
UR  - https://m2.mtmt.hu/api/publication/22694105
ID  - 22694105
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Borók-Nagy, Zoltán
AU  - Májer, Viktor
AU  - Mihalicza, József
AU  - Pataki, Norbert
AU  - Porkoláb, Zoltán
ED  - Vinju, J
ED  - Marinescu, C
TI  - Visualization of C++ Template Metaprograms
T2  - 10th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2010
PB  - IEEE Computer Society
CY  - Piscataway (NJ)
SN  - 9780769541785
PY  - 2010
SP  - 167
EP  - 176
PG  - 10
DO  - 10.1109/SCAM.2010.16
UR  - https://m2.mtmt.hu/api/publication/1993867
ID  - 1993867
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Kuhleman, Martin
AU  - Sturm, Martin
TI  - Debugging Product Line Programs
PY  - 2010
UR  - https://m2.mtmt.hu/api/publication/32618266
ID  - 32618266
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Martin, Kuhlemann
AU  - Martin, Sturm
TI  - Patching product line programs
T2  - 2nd International Workshop on Feature-Oriented Software Development
PB  - ACM Press
CY  - New York, New York
SN  - 9781450302081
PB  - ACM Press
PY  - 2010
SP  - 33
EP  - 40
PG  - 8
DO  - 10.1145/1868688.1868694
UR  - https://m2.mtmt.hu/api/publication/22694108
ID  - 22694108
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Porkoláb, Zoltán
AU  - Sinkovics, Ábel
ED  - Eelco, Visser
ED  - Jaakko, Järvi
TI  - Domain-specific language integration with compile-time parser generator library
T2  - Proceedings of the ninth international conference on generative programming and component engineering
PB  - ACM Press
CY  - Eindhoven
SN  - 9781450301541
PY  - 2010
SP  - 137
EP  - 146
PG  - 10
DO  - 10.1145/1868294.1868315
UR  - https://m2.mtmt.hu/api/publication/2743865
ID  - 2743865
N1  - A4 ACM SIGPLAN
AB  - Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The integration should cause minimal syntactical and semantic overhead and introduce minimal dependency on external tools. In this paper we discuss a DSL integration technique for the C++ programming language. The solution is based on compile-time parsing of the DSL code. The parser generator is a C++ template metaprogram reimplementation of a runtime Haskell parser generator library. The full parsing phase is executed when the host program is compiled. The library uses only standard C++ language features, thus our solution is highly portable. As a demonstration of the power of this approach, we present a highly efficient and type-safe version of printf and the way it can be constructed using our library. Despite the well known syntactical difficulties of C++ template metaprograms, building embedded languages using our library leads to self-documenting C++ source code. © 2010 ACM.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Porkoláb, Zoltán
TI  - Functional programming with C++ template metaprograms
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 6299
PY  - 2010
SP  - 306
EP  - 353
PG  - 48
SN  - 0302-9743
DO  - 10.1007/978-3-642-17685-2_9
UR  - https://m2.mtmt.hu/api/publication/2743866
ID  - 2743866
N1  - A4 CEEPUS CII-HU-19 Network
Megjegyzés-24213497
A4 CEEPUS CII-HU-19 Network
Megjegyzés-24213547
A4 CEEPUS CII-HU-19 Network
Megjegyzés-23382205
T3 3rd Central European Functional Programming School, CEFP 2009
AB  - Template metaprogramming is an emerging new direction of generative programming. With the clever definitions of templates we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, the C++ language is not capable of elegant expression of metaprograms. The complicated syntax leads to the creation of code that is hard to write, understand and maintain. Although template metaprogramming has a strong relationship with functional programming, this is not reflected in the language syntax and existing libraries. In this paper we give a short and incomplete introduction to C++ templates and the basics of template metaprogramming. We will enlight the role of template metaprograms, and some important and widely used idioms. We give an overview of the possible application areas as well as debugging and profiling techniques. We suggest a pure functional style programming interface for C++ template metaprograms in the form of embedded Haskell code which is transformed to standard compliant C++ source. © 2010 Springer-Verlag.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Sinkovics, Ábel
TI  - Functional Extensions to the Boost Metaprogram Library
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 264
PY  - 2010
IS  - 5
SP  - 85
EP  - 101
PG  - 17
SN  - 1571-0661
DO  - 10.1016/j.entcs.2011.06.006
UR  - https://m2.mtmt.hu/api/publication/2118886
ID  - 2118886
AB  - More and more C++ applications use template metaprograms directly or indirectly by using libraries based on that. Given the complexity of template metaprogramming, developers need supporting libraries. The most widely used one is the Boost template metaprogramming library. It implements commonly used compile time algorithms and meta-data structures in an extensible and reusable way. Despite the wellknown commonality of template metaprogramming and the functional programming paradigm, boost::mpl lacks a few important features directly supporting the functional style. In this paper we evaluate how and in what degree boost::mpl supports functional programming and present new elements it can be improved with.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Sutton, A
AU  - Holeman, R
AU  - Maletic, JI
TI  - Identification of idiom usage in C++ generic libraries
T2  - IEEE International Conference on Program Comprehension
PB  - IEEE
CY  - Braga
SN  - 9780769541136
T3  - 18th IEEE International Conference on Program Comprehension, ICPC 2010
PB  - IEEE
PY  - 2010
SP  - 160
EP  - 169
PG  - 10
DO  - 10.1109/ICPC.2010.37
UR  - https://m2.mtmt.hu/api/publication/23382204
ID  - 23382204
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Zoltán, Porkoláb
TI  - Functional programming with C++ template metaprograms
T2  - 3rd summer school conference on Central European functional programming school
PB  - Springer Netherlands
C1  - Berlin
C1  - Heidelberg
PB  - Springer Netherlands
PY  - 2010
SP  - 306
EP  - 353
PG  - 48
UR  - https://m2.mtmt.hu/api/publication/22694107
ID  - 22694107
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Sipos, Ádám
TI  - Template metaprogramok hatékony fejlesztése
PY  - 2009
UR  - https://m2.mtmt.hu/api/publication/26612620
ID  - 26612620
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Sutton, Andrew
AU  - Holeman, Ryan
AU  - Maletic, Jonathan I.
ED  - IEEE, Press
TI  - Abstracting the template instantiation relation in C++
T2  - 25th IEEE International Conference on Software Maintenance ICSM 2009
PB  - IEEE
CY  - Piscataway (NJ)
SN  - 9781424448289
PY  - 2009
SP  - 559
EP  - 562
PG  - 4
DO  - 10.1109/ICSM.2009.5306392
UR  - https://m2.mtmt.hu/api/publication/22009798
ID  - 22009798
N1  - Conference code: 78644            
            Cited By :2            
            Export Date: 26 February 2023            
            Correspondence Address: Sutton, A.; Department of Computer Science, , Kent Ohio 44242, United States; email: asutton@cs.kent.edu
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Azab, K
AU  - Pennemann, K-H
TI  - Type checking C++ template instantiation by graph programs
JF  - ELECTRONIC COMMUNICATIONS OF THE EASST
J2  - ELECTR COMMUN EASST
VL  - 10
PY  - 2008
PG  - 14
SN  - 1863-2122
DO  - 10.14279/tuj.eceasst.10.148.153
UR  - https://m2.mtmt.hu/api/publication/27463611
ID  - 27463611
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Porkoláb, Zoltán
AU  - Mihalicza, József
AU  - Pataki, Norbert
AU  - Ádám, Sipos
ED  - Horváth, Zoltán
ED  - Kozma, László
ED  - Zsók, Viktória
TI  - Towards Profiling C++ Template Metaprograms
T2  - Proceedings of the 10th Symposium on Programming Languages and Software Tools
PB  - Eötvös Loránd University Press
CY  - Budapest
SN  - 9789634639251
PY  - 2007
SP  - 96
EP  - 111
PG  - 16
UR  - https://m2.mtmt.hu/api/publication/1996647
ID  - 1996647
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Zaborszky, László
AU  - Leranth, C
AU  - Makara, Gábor
AU  - Palkovits, Miklós
TI  - Quantitative Studies on Supraoptic Nucleus in Rat. II. Afferent Fiber-connections
JF  - EXPERIMENTAL BRAIN RESEARCH
J2  - EXP BRAIN RES
VL  - 22
PY  - 1975
IS  - 5
SP  - 525
EP  - 540
PG  - 16
SN  - 0014-4819
DO  - 10.1007/BF00237352
UR  - https://m2.mtmt.hu/api/publication/1096967
ID  - 1096967
N1  - Cited By :82            
            Export Date: 19 February 2023            
            CODEN: EXBRA            
            Correspondence Address: Záborszky, L.; 1st Department of Anatomy, , Budapest, Hungary
LA  - English
DB  - MTMT
ER  -