Integrated Formal Methods
Springer International Publishing
Chapter title |
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
|
---|---|
Chapter number | 7 |
Book title |
Integrated Formal Methods
|
Published by |
Springer, Cham, November 2020
|
DOI | 10.1007/978-3-030-63461-2_7 |
Book ISBNs |
978-3-03-063460-5, 978-3-03-063461-2
|
Authors |
Malte Mues, Till Schallau, Falk Howar, Mues, Malte, Schallau, Till, Howar, Falk |
Country | Count | As % |
---|---|---|
Portugal | 1 | 100% |
Type | Count | As % |
---|---|---|
Scientists | 1 | 100% |
Country | Count | As % |
---|---|---|
Unknown | 3 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Bachelor | 1 | 33% |
Unknown | 2 | 67% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 33% |
Unknown | 2 | 67% |