{"schema_version":"1.0","canonical_url":"https://patentable.app/patents/US-8468499","patent":{"patent_number":"US-8468499","title":"Directed testing for property violations","assignee":null,"inventors":[],"filing_date":"2010-03-11T00:00:00.000Z","publication_date":"2013-06-18T00:00:00.000Z","cpc_codes":["G06F"],"num_claims":19,"abstract":"A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored."},"analysis":{"summary":null,"layman_explanation":null,"technical_analysis":null,"business_analysis":null,"faqs":null,"topics":[],"tech_cluster":null},"seo":{"title":"Directed testing for property violations","description":"A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application ","keywords":[]},"attribution":{"source":"Patentable","source_url":"https://patentable.app","canonical_url":"https://patentable.app/patents/US-8468499","license":"CC-BY-4.0-like","license_terms":"AI-generated analysis on this page (summary, layman_explanation, technical_analysis, business_analysis, faqs) may be reused with attribution and a visible link back to the canonical URL above. Patent abstracts, claims, and bibliographic data are USPTO public domain.","required_link":"https://patentable.app/patents/US-8468499","citation_suggestion":"Patentable. \"Directed testing for property violations\" (US-8468499). https://patentable.app/patents/US-8468499","copyright_holder":"Nomic Interactive Technology LLC"},"links":{"html":"https://patentable.app/patents/US-8468499","json":"https://patentable.app/api/llm-context/US-8468499","site":"https://patentable.app","llms_txt":"https://patentable.app/llms.txt"},"generated_at":"2026-05-30T16:55:33.642Z"}