Author of the publication

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

, , , , , and . APSEC, page 265-272. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combinatorial Testing on Implementations of HTML5 Support., , , and . ICST Workshops, page 262-271. IEEE Computer Society, (2017)Lightweight Method-Level Energy Consumption Estimation for Android Applications., , , , , and . TASE, page 144-151. IEEE Computer Society, (2016)InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications., , , , and . SANER, page 502-506. IEEE Computer Society, (2017)The Floating-Point Extension of Symbolic Execution Engine for Bug Detection., , , , , and . APSEC, page 265-272. IEEE Computer Society, (2016)Relda2: an effective static analysis tool for resource leak detection in Android apps., , , , and . ASE, page 762-767. ACM, (2016)Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion., , and . SERE, page 118-126. IEEE, (2014)Characterizing and identifying misexposed activities in Android applications., , , , , and . ASE, page 691-701. ACM, (2018)Boundary value analysis in automatic white-box test generation., , and . ISSRE, page 239-249. IEEE Computer Society, (2015)Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation., , , and . ISSRE, page 342-352. IEEE Computer Society, (2016)A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines., , and . TASE, page 267-270. IEEE Computer Society, (2012)