IN2013MU02497A - - Google Patents

Info

Publication number
IN2013MU02497A
IN2013MU02497A IN2497MU2013A IN2013MU02497A IN 2013MU02497 A IN2013MU02497 A IN 2013MU02497A IN 2497MU2013 A IN2497MU2013 A IN 2497MU2013A IN 2013MU02497 A IN2013MU02497 A IN 2013MU02497A
Authority
IN
India
Prior art keywords
string
token
language
validated
generated
Prior art date
Application number
Other languages
English (en)
Inventor
Goldsmith Murali Krishna
Ulka Aniruddha Shrotri
venkatesh R
Original Assignee
Tata Consultancy Services Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Priority to IN2497MU2013 priority Critical patent/IN2013MU02497A/en
Priority to US14/445,610 priority patent/US9223685B2/en
Publication of IN2013MU02497A publication Critical patent/IN2013MU02497A/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3692—Test management for test results analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
IN2497MU2013 2013-07-29 2013-07-29 IN2013MU02497A (US07137100-20061114-P00030.png)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN2497MU2013 IN2013MU02497A (US07137100-20061114-P00030.png) 2013-07-29 2013-07-29
US14/445,610 US9223685B2 (en) 2013-07-29 2014-07-29 Validating a specification associated with a software application and/or a hardware

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN2497MU2013 IN2013MU02497A (US07137100-20061114-P00030.png) 2013-07-29 2013-07-29

Publications (1)

Publication Number Publication Date
IN2013MU02497A true IN2013MU02497A (US07137100-20061114-P00030.png) 2015-06-26

Family

ID=52391605

Family Applications (1)

Application Number Title Priority Date Filing Date
IN2497MU2013 IN2013MU02497A (US07137100-20061114-P00030.png) 2013-07-29 2013-07-29

Country Status (2)

Country Link
US (1) US9223685B2 (US07137100-20061114-P00030.png)
IN (1) IN2013MU02497A (US07137100-20061114-P00030.png)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2013MU02497A (US07137100-20061114-P00030.png) * 2013-07-29 2015-06-26 Tata Consultancy Services Ltd
US20160077956A1 (en) * 2014-09-11 2016-03-17 Wipro Limited System and method for automating testing of software
US9363087B2 (en) * 2014-10-02 2016-06-07 Microsoft Technology Licensing, Inc. End-to-end security for hardware running verified software
EP3109763A1 (en) 2015-06-24 2016-12-28 Tata Consultancy Services Limited Method and system for generating functional test cases for software systems
US20170147202A1 (en) * 2015-11-24 2017-05-25 Facebook, Inc. Augmenting text messages with emotion information
US9886651B2 (en) * 2016-05-13 2018-02-06 Microsoft Technology Licensing, Llc Cold start machine learning algorithm
US10042614B1 (en) 2017-03-29 2018-08-07 International Business Machines Corporation Hardware device based software generation
US10101971B1 (en) 2017-03-29 2018-10-16 International Business Machines Corporation Hardware device based software verification
US10685294B2 (en) 2017-03-29 2020-06-16 International Business Machines Corporation Hardware device based software selection

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4819233A (en) * 1987-04-08 1989-04-04 Westinghouse Electric Corp. Verification of computer software
US6385765B1 (en) 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US7334216B2 (en) 2000-04-04 2008-02-19 Sosy, Inc. Method and apparatus for automatic generation of information system user interfaces
US6681383B1 (en) 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US20040103396A1 (en) * 2002-11-20 2004-05-27 Certagon Ltd. System for verification of enterprise software systems
US7508985B2 (en) * 2003-12-10 2009-03-24 International Business Machines Corporation Pattern-matching system
US20070266366A1 (en) * 2006-05-12 2007-11-15 Iosemantics, Llc Generating and utilizing finite input output models, comparison of semantic models and software quality assurance
US8019795B2 (en) * 2007-12-05 2011-09-13 Microsoft Corporation Data warehouse test automation framework
US20100088678A1 (en) * 2008-10-08 2010-04-08 Alturki Musab Method and apparatus for the formal specification and analysis of timing properties in software systems
JP5460629B2 (ja) 2011-03-10 2014-04-02 株式会社日立製作所 表形式ソフトウェア仕様作成支援方法、及び装置
IN2013MU02497A (US07137100-20061114-P00030.png) * 2013-07-29 2015-06-26 Tata Consultancy Services Ltd

Also Published As

Publication number Publication date
US20150033208A1 (en) 2015-01-29
US9223685B2 (en) 2015-12-29

Similar Documents

Publication Publication Date Title
IN2013MU02497A (US07137100-20061114-P00030.png)
PH12017550113A1 (en) System and method for extracting and sharing application-related user data
EP4242892A3 (en) Code pointer authentication for hardware flow control
GB2558826A8 (en) Mitigation of anti-sandbox malware techniques
IN2013CH05115A (US07137100-20061114-P00030.png)
CL2015003015A1 (es) Método implementado por computador para compilar una cadena de transformación de una interfaz de usuario de recálculo.
GB2527966A (en) Creating rules for use in third-party tag management systems
BR112017009666A2 (pt) método e dispositivo para mineração de dados com base em plataforma social
MX347823B (es) Propagacion de actualizaciones del plano de fractura.
MX347812B (es) Uso de operadores inversos para consultas en redes sociales en linea.
BR112015015904A2 (pt) renderização de linguagem natural de consultas de busca estruturadas
MX2016005489A (es) Metodo y aparato para determinar similitud y terminal.
GB2523972A (en) System and method for providing a security code
GB2538370A (en) Designing wellbore completion intervals
GB2529086A (en) Integrated system for production design assistance
BR112017000880A2 (pt) "método para injetar sinais em uma rede de distribuição de serviços públicos e sistema de rede de distribuição de serviços públicos"
GB2570089A (en) Geomechanical risk and hazard assessment and mitigation
AR098379A1 (es) Método de verificación de seguridad de una aplicación, un servidor de aplicaciones, una aplicación cliente y un sistema
PH12017500227A1 (en) A system and method for security enhancement
BR112015008843A8 (pt) Método implementado por meio de computador para fornecer pelo menos parte de um equipamento de óculos adaptado para um usuário, dispositivo de rede de processamento de dados, e meio legível por computador
SG11201708102YA (en) System, method and computer program for executing monetary transactions based on social information
BR112014017283A8 (pt) Método implementado por máquina, meio legível por máquina tangível e dispositivo compreendendo um atualizador de aplicação
GB2527230A (en) Processing seismic attributes using mathematical morphology
IN2013MU03265A (US07137100-20061114-P00030.png)
IN2015DE01188A (US07137100-20061114-P00030.png)