| (84) |
Designated Contracting States: |
|
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL
NO PL PT RO RS SE SI SK SM TR |
| (30) |
Priority: |
10.11.2017 US 201715809676
|
| (43) |
Date of publication of application: |
|
15.05.2019 Bulletin 2019/20 |
| (73) |
Proprietor: Malikie Innovations Limited |
|
Dun Laoghaire, Dublin A96 VR66 (IE) |
|
| (72) |
Inventors: |
|
- MALTON, Andrew James
Waterloo, Ontario N2K 0A7 (CA)
- WALENSTEIN, Andrew
Waterloo, Ontario N2K 0A7 (CA)
|
| (74) |
Representative: MERH-IP Matias Erny Reichl Hoffmann
Patentanwälte PartG mbB |
|
Paul-Heyse-Strasse 29
80336 München
80336 München (DE) |
| (56) |
References cited: :
US-A1- 2013 152 154
|
US-B1- 8 869 286
|
|
| |
|
|
- Anonymous: "Symbolic execution", , 2 November 2017 (2017-11-02), XP055542157, Retrieved
from the Internet: URL:https://en.wikipedia.org/w/index.php?t itle=Symbolic_execution&oldid=808290873
[retrieved on 2019-01-15]
- Anonymous: "Concolic testing", , 19 September 2017 (2017-09-19), XP055542240, Retrieved
from the Internet: URL:https://en.wikipedia.org/w/index.php?t itle=Concolic_testing&oldid=801478181
[retrieved on 2019-01-15]
- ZHEMIN YANG ET AL: "AppIntent", COMPUTER & COMMUNICATIONS SECURITY, ACM, 2 PENN PLAZA,
SUITE 701 NEW YORK NY 10121-0701 USA, 4 November 2013 (2013-11-04), pages 1043-1054,
XP058034052, DOI: 10.1145/2508859.2516676 ISBN: 978-1-4503-2477-9
|
|
