Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Pietro Braione"'
Publikováno v:
Journal of Systems and Software. 199:111629
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9e855b28f8bf1a7f374280ff311571b
https://doi.org/10.1016/j.jss.2023.111629
https://doi.org/10.1016/j.jss.2023.111629
Publikováno v:
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf80f6e07e5083f2d84dedf70599a10
https://doi.org/10.1109/issrew51248.2020.00013
https://doi.org/10.1109/issrew51248.2020.00013
Publikováno v:
Software Testing, Verification and Reliability. 30
Performance profiling can benefit from test cases that hit high-cost executions of programs. In this paper, we investigate the problem of automatically generating test cases that trigger the worst-case execution of programs and propose a novel techni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12ad29acb761c22cafb7c46578780259
https://doi.org/10.1002/stvr.1719
https://doi.org/10.1002/stvr.1719
Autor:
Giovanni Denaro, Pietro Braione
Publikováno v:
SBST@ICSE
SUSHI and TARDIS are two automatic test generators for Java programs. They generate test suites, aiming to satisfy the branch coverage adequacy criterion. Both tools exploit symbolic execution to analyze the control flow paths of the program under te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0c8ac3d4327820a91f29953e70b1e3d
https://doi.org/10.1109/sbst.2019.00016
https://doi.org/10.1109/sbst.2019.00016
Publikováno v:
ISSRE Workshops
The European Rail Traffic Management System (ERTMS) represents a class of embedded software-intensive systems of systems for the management of the European rail traffic, in a scenario where interoperability between different European rail traffic inf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2193edd6a60bbe946023a9bd23102523
http://hdl.handle.net/10281/272340
http://hdl.handle.net/10281/272340
Publikováno v:
ICSE (Companion Volume)
Random and search-based test generators yield realistic test cases based on program APIs, but often miss structural test objectives that depend on non-trivial data structure instances; Whereas symbolic execution can precisely characterise those depen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efa9df33f489f0d8687dd420dc8b474c
http://hdl.handle.net/10281/220024
http://hdl.handle.net/10281/220024
Publikováno v:
ISSTA
International Symposium on Software Testing and Analysis
International Symposium on Software Testing and Analysis
Despite the recent improvements in automatic test case generation, handling complex data structures as test inputs is still an open problem. Search-based approaches can generate sequences of method calls that instantiate structured inputs to exercise
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e9097e35e0b47dd531d468a86c0749b
https://doi.org/10.1145/3092703.3092715
https://doi.org/10.1145/3092703.3092715
Publikováno v:
Braione, P, Denaro, G, Mattavelli, A, Vivanti, M & Muhammad, A 2014, ' Software testing with code-based test generators : data and lessons learned from a case study with an industrial software component ', Software Quality Journal, vol. 22, no. 2, pp. 311-333 . https://doi.org/10.1007/s11219-013-9207-1
Automatically generating effective test suites promises a significant impact on testing practice by promoting extensively tested software within reasonable effort and cost bounds. Code-based test generators rely on the source code of the software und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec55416eeb9faf2f679cca83f571859e
https://doi.org/10.1007/s11219-013-9207-1
https://doi.org/10.1007/s11219-013-9207-1
Publikováno v:
SIGSOFT FSE
We present the Java Bytecode Symbolic Executor (JBSE), a symbolic executor for Java programs that operates on complex heap inputs. JBSE implements both the novel Heap EXploration Logic (HEX), a symbolic execution approach to deal with heap inputs, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97e287239bc3700f171a80a622891d3f
https://doi.org/10.1145/2950290.2983940
https://doi.org/10.1145/2950290.2983940