المؤلفون: Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro

المساهمون: Kurian, E, Briola, D, Braione, P, Denaro, G

المصدر: Journal of Systems and Software. 199:111629

مصطلحات موضوعية: FOS: Computer and information sciences, Symbolic execution, D.2.4, INF/01 - INFORMATICA, Safety-critical software, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Software Engineering (cs.SE), Computer Science - Software Engineering, F.3.1, Hardware and Architecture, Automated test generation, Software, Information Systems

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9e855b28f8bf1a7f374280ff311571b
https://doi.org/10.1016/j.jss.2023.111629

المؤلفون: Pietro Braione, Daniela Briola, Guglielmo De Angelis, Francesco Gallo, Francesco Poggi, Giovanni Quattrocchi

مصطلحات موضوعية: autonomous reaction, systems of systems, dynamic evolution, unplanned scenarios, Software, dynamic integration

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7deb934a872be6cbe20b01f41bf67ac
https://hdl.handle.net/11311/1231398

المؤلفون: G. De Angelis, F. Gallo, F. Poggi, G. Quattrocchi, D. Briola, Pietro Braione

المساهمون: Vieira M.,Madeira H.,Antunes N.,Zheng Z., Braione, P, Briola, D, De Angelis, G, Gallo, F, Poggi, F, Quattrocchi, G

المصدر: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

مصطلحات موضوعية: Computer science, Gauss, GAUSS, Calculus

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf80f6e07e5083f2d84dedf70599a10
https://doi.org/10.1109/issrew51248.2020.00013

المؤلفون: Pietro Braione, Pasquale Salza, Giovanni Denaro, Andrea Aquino

المساهمون: Aquino, A, Braione, P, Denaro, G, Salza, P

المصدر: Software Testing, Verification and Reliability. 30

مصطلحات موضوعية: Profiling (computer programming), Worst-case execution time, Programming language, Computer science, genetic algorithms, software engineering, symbolic execution, worst-case execution time, INF/01 - INFORMATICA, Safety, Risk, Reliability and Quality, computer.software_genre, Symbolic execution, computer, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12ad29acb761c22cafb7c46578780259
https://doi.org/10.1002/stvr.1719

المؤلفون: Giovanni Denaro, Pietro Braione

المساهمون: Braione, P, Denaro, G

المصدر: SBST@ICSE

مصطلحات موضوعية: Unit testing, Java, Exploit, Computer science, business.industry, Code coverage, INF/01 - INFORMATICA, Random testing, search based software testing, Symbolic execution, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Control flow, Software engineering, business, computer, symbolic execution, computer.programming_language, PATH (variable)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0c8ac3d4327820a91f29953e70b1e3d
https://doi.org/10.1109/sbst.2019.00016

المؤلفون: Luca Guglielmo, Pietro Braione, Matteo Orru, Andrea Riboni, Giovanni Denaro

المساهمون: Riboni, A, Guglielmo, L, Orru, M, Braione, P, Denaro, G

المصدر: ISSRE Workshops

مصطلحات موضوعية: System of systems, Design for testability, Computer science, Integration testing, business.industry, Design for testing, Interoperability, critical system, ERMTS/ETCS, Certification, Software, system of-system, Risk analysis (engineering), Component (UML), system of-systems, Observability, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2193edd6a60bbe946023a9bd23102523
http://hdl.handle.net/10281/272340

المؤلفون: Giovanni Denaro, Mauro Pezzè, Pietro Braione, Andrea Mattavelli

المساهمون: Braione, P, Denaro, G, Mattavelli, A, Pezzè, M

المصدر: ICSE (Companion Volume)

مصطلحات موضوعية: Sequence, Theoretical computer science, Computer science, business.industry, Search-based software engineering, 020207 software engineering, 02 engineering and technology, Data structure, Symbolic execution, automatic test case generation, Software, Test case, 020204 information systems, Path (graph theory), 0202 electrical engineering, electronic engineering, information engineering, business, symbolic execution, Complement (set theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efa9df33f489f0d8687dd420dc8b474c
http://hdl.handle.net/10281/220024

المؤلفون: Pietro Braione, Mauro Pezzè, Andrea Mattavelli, Giovanni Denaro

المساهمون: Braione, P, Denaro, G, Mattavelli, A, Pezze', M

المصدر: ISSTA
International Symposium on Software Testing and Analysis

مصطلحات موضوعية: Symbolic execution, Theoretical computer science, Computer science, Programming language, Open problem, Search-based software engineering, INF/01 - INFORMATICA, 020207 software engineering, 02 engineering and technology, computer.software_genre, Search based testing, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Test case, Reachability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Automatic test case generation, computer, Complex data structures, Heap (data structure)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e9097e35e0b47dd531d468a86c0749b
https://doi.org/10.1145/3092703.3092715

المؤلفون: Giovanni Denaro, Mauro Pezzè, Pietro Braione

المساهمون: Braione, P, Denaro, G, Pezze', M

المصدر: SIGSOFT FSE

مصطلحات موضوعية: Java, Programming language, Computer science, INF/01 - INFORMATICA, 020207 software engineering, Java bytecode, 02 engineering and technology, computer.file_format, Symbolic execution, Executor, computer.software_genre, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Binary heap, Executable, computer, symbolic execution, Binomial heap, Heap (data structure), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97e287239bc3700f171a80a622891d3f
https://doi.org/10.1145/2950290.2983940

المؤلفون: Giovanni Denaro, Mattia Vivanti, Pietro Braione, Andrea Mattavelli, Ali Muhammad

المساهمون: Braione, P, Denaro, G, Mattavelli, A, Vivanti, M, Muhammad, A

المصدر: 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

مصطلحات موضوعية: business.industry, Computer science, Test data generation, structural testing, INF/01 - INFORMATICA, Test harness, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, experimental study, automatic test generation, Test case, Regression testing, Software construction, Test suite, Test Management Approach, Safety, Risk, Reliability and Quality, Software engineering, business, System integration testing, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec55416eeb9faf2f679cca83f571859e
https://doi.org/10.1007/s11219-013-9207-1