EP2413259 - Methods and systems for test automation of forms in web applications [Right-click to bookmark this link] | Status | The application has been refused Status updated on 15.05.2015 Database last updated on 24.08.2024 | Most recent event Tooltip | 15.05.2015 | Refusal of application | published on 17.06.2015 [2015/25] | Applicant(s) | For all designated states FUJITSU LIMITED 1-1, Kamikodanaka 4-chome, Nakahara-ku Kawasaki-shi Kanagawa 211-8588 / JP | [2012/05] | Inventor(s) | 01 /
Murthy, Praveen Kumar 66 Snyder Way Freemont, CA 94536 / US | 02 /
Sun, Fangqi 401 Russell Park, Apartment 7 Davis, CA 95616 / US | 03 /
Prasad, Mukul Ranjan 4770 Blanco Drive San Jose, CA 95129 / US | 04 /
Rajan, Sreeranga P 1367 Los Arboles Avenue Sunnyvale, CA 94087 / US | [2012/05] | Representative(s) | Wilding, Frances Ward Haseltine Lake LLP Lincoln House, 5th Floor 300 High Holborn London WC1V 7JH / GB | [N/P] |
Former [2012/05] | Wilding, Frances Ward Haseltine Lake LLP Lincoln House, 5th Floor 300 High Holborn London WC1V 7JH / GB | Application number, filing date | 11171234.5 | 23.06.2011 | [2012/05] | Priority number, date | US20100832131 | 08.07.2010 Original published format: US 832131 | [2012/05] | Filing language | EN | Procedural language | EN | Publication | Type: | A2 Application without search report | No.: | EP2413259 | Date: | 01.02.2012 | Language: | EN | [2012/05] | Type: | A3 Search report | No.: | EP2413259 | Date: | 04.07.2012 | Language: | EN | [2012/27] | Search report(s) | (Supplementary) European search report - dispatched on: | EP | 06.06.2012 | Classification | IPC: | G06F21/00 | [2012/05] | CPC: |
G06F21/577 (EP,US)
| 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 [2012/05] | Extension states | BA | Not yet paid | ME | Not yet paid | Title | German: | Verfahren und Systeme zur Testautomatisierung von Formen in Webanwendungen | [2012/05] | English: | Methods and systems for test automation of forms in web applications | [2012/05] | French: | Procédés et systèmes d'automatisation de test de formulaires dans les applications Web | [2012/05] | Examination procedure | 02.01.2013 | Examination requested [2013/08] | 04.01.2013 | Amendment by applicant (claims and/or description) | 07.01.2014 | Despatch of a communication from the examining division (Time limit: M06) | 16.07.2014 | Reply to a communication from the examining division | 15.01.2015 | Application refused, date of legal effect [2015/25] | 15.01.2015 | Date of oral proceedings | 03.02.2015 | Despatch of communication that the application is refused, reason: substantive examination [2015/25] | 03.02.2015 | Minutes of oral proceedings despatched | Divisional application(s) | The date of the Examining Division's first communication in respect of the earliest application for which a communication has been issued is 07.01.2014 | Fees paid | Renewal fee | 04.04.2013 | Renewal fee patent year 03 | 03.04.2014 | Renewal fee patent year 04 |
Opt-out from the exclusive Tooltip competence of the Unified Patent Court | See the Register of the Unified Patent Court for opt-out data | ||
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court. | Documents cited: | Search | [XAI]EP1923802 (HEWLETT PACKARD DEVELOPMENT CO [US]) [X] 1,8 * paragraph [0048] - paragraph [0054]; figures 3a-3e * [A] 4-7,13-17 [I] 2,3,9-12; | [A] - Wikipedia, "Predicate transformer semantics", (20100629), URL: http://en.wikipedia.org/w/index.php?title=Predicate_transformer_semantics&oldid=370855618, (20111208), XP055014275 [A] 1-17 * the whole document * | [A] - Satish Chandra ET AL, "Snugglebug: A Powerful Approach To Weakest Preconditions", PLDI'09, Dublin, Ireland, (20090620), URL: http://domino.watson.ibm.com/comm/research_people.nsf/pages/msridhar.index.html/$FILE/pldi09-snugglebug.pdf, (20111209), XP055014378 [A] 1-17 * page 1 - page 3 * | [XI] - Prateek Saxena ET AL, "A Symbolic Execution Framework for JavaScript", Berkeley, California, (20100308), pages 1 - 20, URL: http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-26.pdf, (20120503), XP055026111 [X] 1,4,7-10,13,14,17 * page 3 - page 4 * * page 5 * * page 8 * * page 14 * [I] 2-6,11,12,15,16 DOI: http://dx.doi.org/10.1109/SP.2010.38 | [XI] - Adam Kiezun ET AL, "HAMPI: A Solver for String Constraints", Chicago, Illinois, (20090723), pages 1 - 11, URL: http://people.csail.mit.edu/akiezun/issta54-kiezun.pdf, (20120504), XP055026191 [X] 1,4,7-9,13,14,17 * page 1 - page 3 * [I] 2-6,10-12,15,16 |