Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Marie-Christine Jakobs"'
Publikováno v:
IEEE Access, Vol 9, Pp 160559-160579 (2021)
Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have b
Externí odkaz:
https://doaj.org/article/df1862bda21144b68e566dc5ed30f8d3
Autor:
Eric Bodden, Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Philipp Schubert, Heike Wehrheim
Book chapter of subproject B4 within the final book of the Collaborative Research Center 901 published within the series "Verlagsschriftenreihe des Heinz Nixdorf Instituts", volume 412, ISBN 978-3-947647-31-6, June 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::493b72f7b9c2475064c0297851672200
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783031308253
Ranged symbolic execution has been proposed as a way of scaling symbolic execution by splitting the task of path exploration onto several workers running in parallel. The split is conducted along path ranges which – simply speaking – describe set
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1478849dfa7b72d17096e4dbea69185b
https://doi.org/10.1007/978-3-031-30826-0_11
https://doi.org/10.1007/978-3-031-30826-0_11
Autor:
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e21ec80b3b4c8fd98f1d6b7bb9c756b3
https://doi.org/10.1145/3551349.3561156
https://doi.org/10.1145/3551349.3561156
Autor:
Marie-Christine Jakobs, Dirk Beyer
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:313-333
Testing is a widely applied technique to evaluate software quality, and coverage criteria are often used to assess the adequacy of a generated test suite. However, manually constructing an adequate test suite is typically too expensive, and numerous
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bab3e4b6d89dcf0fa29f886a4a9df95
https://doi.org/10.1007/s10009-020-00587-8
https://doi.org/10.1007/s10009-020-00587-8
Publikováno v:
IEEE Access, Vol 9, Pp 160559-160579 (2021)
Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fcbc45c9d572087e79df42e88ac0d46
https://doi.org/10.1109/access.2021.3131213
https://doi.org/10.1109/access.2021.3131213
Autor:
Marie-Christine Jakobs
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:847-851
Verification techniques are well-suited for automatic test-case generation. They basically need to check the reachability of every test goal and generate test cases for all reachable goals. This is also the basic idea of our CoVeriTest submission. Ho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c905ad5a01bf71cea4723cd012fd4ed8
https://doi.org/10.1007/s10009-020-00572-1
https://doi.org/10.1007/s10009-020-00572-1
Publikováno v:
Automated Software Engineering. 27:153-186
Algorithm selection is the task of choosing an algorithm from a given set of candidate algorithms when faced with a particular problem instance. Algorithm selection via machine learning (ML) has recently been successfully applied for various problem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7043b7daeb154faa72457e32d5b8884b
https://doi.org/10.1007/s10515-020-00270-x
https://doi.org/10.1007/s10515-020-00270-x
Autor:
Marie-Christine Jakobs
Publikováno v:
Tests and Proofs ISBN: 9783031098260
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3fbf317a56aed8084bb76c8330f7f0ed
https://doi.org/10.1007/978-3-031-09827-7_1
https://doi.org/10.1007/978-3-031-09827-7_1
Autor:
Marie-Christine Jakobs
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031077265
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::faf74ca5e4004c9a42c3b93c4fea7ac2
https://doi.org/10.1007/978-3-031-07727-2_5
https://doi.org/10.1007/978-3-031-07727-2_5