Using big code to construct code conditional truth tables

Using big code to construct code conditional truth tables

A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hicks, Andrew C. M, Gildein, Michael E, Gisolfi, Daniel Nicolas
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Hicks, Andrew C. M
Gildein, Michael E
Gisolfi, Daniel Nicolas
description A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US11656869B2</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US11656869B2</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US11656869B23</originalsourceid><addsrcrecordid>eNrjZLAMLc7MS1dIykxXSM5PSVUoyQfSecUlRaXJJRARIDclsyQzPy8xRwEoXJKhUJKYlJNazMPAmpaYU5zKC6W5GRTdXEOcPXRTC_LjU4sLEpNT81JL4kODDQ3NTM0szCydjIyJUQMAN8Iu5A</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Using big code to construct code conditional truth tables</title><source>esp@cenet</source><creator>Hicks, Andrew C. M ; Gildein, Michael E ; Gisolfi, Daniel Nicolas</creator><creatorcontrib>Hicks, Andrew C. M ; Gildein, Michael E ; Gisolfi, Daniel Nicolas</creatorcontrib><description>A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230523&amp;DB=EPODOC&amp;CC=US&amp;NR=11656869B2$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25562,76317</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230523&amp;DB=EPODOC&amp;CC=US&amp;NR=11656869B2$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Hicks, Andrew C. M</creatorcontrib><creatorcontrib>Gildein, Michael E</creatorcontrib><creatorcontrib>Gisolfi, Daniel Nicolas</creatorcontrib><title>Using big code to construct code conditional truth tables</title><description>A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZLAMLc7MS1dIykxXSM5PSVUoyQfSecUlRaXJJRARIDclsyQzPy8xRwEoXJKhUJKYlJNazMPAmpaYU5zKC6W5GRTdXEOcPXRTC_LjU4sLEpNT81JL4kODDQ3NTM0szCydjIyJUQMAN8Iu5A</recordid><startdate>20230523</startdate><enddate>20230523</enddate><creator>Hicks, Andrew C. M</creator><creator>Gildein, Michael E</creator><creator>Gisolfi, Daniel Nicolas</creator><scope>EVB</scope></search><sort><creationdate>20230523</creationdate><title>Using big code to construct code conditional truth tables</title><author>Hicks, Andrew C. M ; Gildein, Michael E ; Gisolfi, Daniel Nicolas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US11656869B23</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>Hicks, Andrew C. M</creatorcontrib><creatorcontrib>Gildein, Michael E</creatorcontrib><creatorcontrib>Gisolfi, Daniel Nicolas</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Hicks, Andrew C. M</au><au>Gildein, Michael E</au><au>Gisolfi, Daniel Nicolas</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Using big code to construct code conditional truth tables</title><date>2023-05-23</date><risdate>2023</risdate><abstract>A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US11656869B2
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title Using big code to construct code conditional truth tables
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T17%3A02%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=Hicks,%20Andrew%20C.%20M&rft.date=2023-05-23&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS11656869B2%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true