Filters








200,951 Hits in 4.1 sec

Distributed Symbolic Execution using Test-Depth Partitioning [article]

Shikhar Singh, Sarfraz Khurshid
<span title="2021-06-03">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Recent work introduced ranged symbolic execution to distribute the symbolic execution task among different workers with minimal communication overhead using test inputs.  ...  Test-depth partitioning is implemented using KLEE, a well-known symbolic execution tool.  ...  Ranging using tests, referred to as test ranging, presents an innovative technique to parallelize symbolic execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.02179v1">arXiv:2106.02179v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3zv4hmn4rrenrphc4exv5ra5sa">fatcat:3zv4hmn4rrenrphc4exv5ra5sa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210609074852/https://arxiv.org/pdf/2106.02179v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/aa/0daa40a6aeb9ff975b2a1ee13c707b0a114e3ef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.02179v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

PredSym: estimating software testing budget for a bug-free release

Arnamoy Bhattacharyya, Timur Malgazhdarov
<span title="">2016</span> <i title="ACM Press"> Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016 </i> &nbsp;
Symbolic execution tools are widely used during a software testing phase for finding hidden bugs and software vulnerabilities.  ...  Accurately predicting the time required by a symbolic execution tool to explore a chosen code coverage helps in planning the budget required in the testing phase.  ...  We use a publicly available symbolic execution tool KLEE to test our approach on a variety of applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2994291.2994294">doi:10.1145/2994291.2994294</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hltg5p7ulfbsfktcsda4frtl7q">fatcat:hltg5p7ulfbsfktcsda4frtl7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218134846/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/pigc93bc7uxtsnzkoyfrvdf40ih5wtye.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/60/77/607781a025427cc98360c9b2b1efaf0f0f970100.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2994291.2994294"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Scaling symbolic execution using ranged analysis

Junaid Haroon Siddiqui, Sarfraz Khurshid
<span title="2012-11-15">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We present ranged symbolic execution, which embodies this insight and uses two test inputs to define a range, i.e., the beginning and end, for a symbolic execution run.  ...  This paper introduces a novel approach to scale symbolic execution-a program analysis technique for systematic exploration of bounded execution paths-for test input generation.  ...  We introduce the idea of using two test inputs to define a range of paths to be explored using symbolic execution and to restrict it to that range. • Ranged symbolic execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398857.2384654">doi:10.1145/2398857.2384654</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/36xmf3ibxjanfpu3fie7nwnk3a">fatcat:36xmf3ibxjanfpu3fie7nwnk3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131010140741/http://junaid.name/papers/ranged-oopsla12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/c3/38c3b6649a4a5ad1e210be035a9f325a52bb714b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2398857.2384654"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Scaling symbolic execution using ranged analysis

Junaid Haroon Siddiqui, Sarfraz Khurshid
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA &#39;12</a> </i> &nbsp;
We present ranged symbolic execution, which embodies this insight and uses two test inputs to define a range, i.e., the beginning and end, for a symbolic execution run.  ...  This paper introduces a novel approach to scale symbolic execution-a program analysis technique for systematic exploration of bounded execution paths-for test input generation.  ...  We introduce the idea of using two test inputs to define a range of paths to be explored using symbolic execution and to restrict it to that range. • Ranged symbolic execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2384616.2384654">doi:10.1145/2384616.2384654</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/SiddiquiK12.html">dblp:conf/oopsla/SiddiquiK12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tbsembqssrgh3ad2iva6mncwqa">fatcat:tbsembqssrgh3ad2iva6mncwqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131010140741/http://junaid.name/papers/ranged-oopsla12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/c3/38c3b6649a4a5ad1e210be035a9f325a52bb714b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2384616.2384654"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Incremental symbolic execution for automated test suite maintenance

Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE &#39;14</a> </i> &nbsp;
In this work, we aim to efficiently apply symbolic execution in increments based on versions of code.  ...  Our technique identifies ranges of paths, each bounded by two concrete tests from the previous test suite.  ...  This builds on our previous work on ranged symbolic execution [19] that introduced the concept of ranges of paths to be explored and used it to enable parallel symbolic execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2642937.2642961">doi:10.1145/2642937.2642961</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/MakhdoomKS14.html">dblp:conf/kbse/MakhdoomKS14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6mvcgrhwcvbn5eyt2eg4jwz6tu">fatcat:6mvcgrhwcvbn5eyt2eg4jwz6tu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150223042138/http://sarmad.me/pdf/docs/incremental-ase14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/dc/b6dcee9a7c377e28ce7401428d10f017557dd2d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2642937.2642961"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Targeted program transformations for symbolic execution

Cristian Cadar
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015</a> </i> &nbsp;
Similarly, semantics-altering transformations, such as type changes and object size modifications, can often lead to substantial improvements in the testing effectiveness achieved by symbolic execution  ...  First, we propose to understand the impact of existing program transformations on symbolic execution, to increase scalability and improve experimental design and reproducibility.  ...  execution tools could use them to their advantage.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786805.2803205">doi:10.1145/2786805.2803205</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Cadar15.html">dblp:conf/sigsoft/Cadar15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gm4g35qnibbarpytldyhrjk5t4">fatcat:gm4g35qnibbarpytldyhrjk5t4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921195746/http://www.doc.ic.ac.uk/%7Ecristic/papers/symex-transf-fse-ni-15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/26/3b26f3d5507cb5fa6edbf8f421c6d5429f881b29.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786805.2803205"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Learning to Accelerate Symbolic Execution via Code Transformation

Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang, Michael Wagner
<span title="2018-07-05">2018</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
Over the years, a large number of refined symbolic execution techniques have been proposed to improve its efficiency.  ...  We conduct an empirical study on GNU Coreutils programs using the KLEE symbolic execution engine.  ...  line-coverage improvement rates ranging from 79.47% to 89.60%.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2018.6">doi:10.4230/lipics.ecoop.2018.6</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/ChenHZHK018.html">dblp:conf/ecoop/ChenHZHK018</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4f7uciggoneulmfsgi3kve3zly">fatcat:4f7uciggoneulmfsgi3kve3zly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190318162655/http://drops.dagstuhl.de/opus/volltexte/2018/9211/pdf/LIPIcs-ECOOP-2018-6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/3e/4b3e83643db109c571d6f6a1b2d85ed39a1b7fa6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2018.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

What?s Cooking? ? Cognitive Training of Executive Function in the Elderly

Man-Ying Wang, Chien-Yu Chang, Shou-Yi Su
<span title="">2011</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5r5ojcju2repjbmmjeu5oyawti" style="color: black;">Frontiers in Psychology</a> </i> &nbsp;
Transfer effect was selectively observed on the letter-number sequencing and digit symbol coding test.  ...  Executive function involves the efficient and adaptive engagement of the control processes of updating, shifting, and inhibition (Miyake, 2000) to guide behavior toward a goal.  ...  Range is mainly a measure of global planning and, to some extent, the use of working memory to retain the overall plan throughout the task (Craik and Bialystok, 2006) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fpsyg.2011.00228">doi:10.3389/fpsyg.2011.00228</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21954388">pmid:21954388</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3173828/">pmcid:PMC3173828</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/or7vxtxanffx3culzg2flt4pqe">fatcat:or7vxtxanffx3culzg2flt4pqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191019011755/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC3173828&amp;blobtype=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f0/5b/f05b276569b18d0205b91773d5ddb7b21a2e32bd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fpsyg.2011.00228"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3173828" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Speeding up test execution with increased cache locality

Panagiotis Stratis, Ajitha Rajan
<span title="2018-06-22">2018</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qrohejli3ngofb53dnkhpougdm" style="color: black;">Software testing, verification &amp; reliability</a> </i> &nbsp;
The differences between 22 worst and best random permutation execution times ranged from 9% to 29% over SIR programs and 27% for LLVM Symbolizer, providing evidence that order matters for test executions  ...  The differences between worst and best random permutation ranged between 9% to 29% over SIR programs and 27% over LLVM symbolizer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1671">doi:10.1002/stvr.1671</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mhv7g5cf5vgvdhpc2bntrtm2pm">fatcat:mhv7g5cf5vgvdhpc2bntrtm2pm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427134450/https://www.pure.ed.ac.uk/ws/files/64321463/speeding_up_test_execution_with_increased_cache_locality_2018.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/a1/38a1ab8ffa14113a0a920834b8648b6fa14d65f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/stvr.1671"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Shadow symbolic execution for better testing of evolving software

Cristian Cadar, Hristina Palikareva
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014</a> </i> &nbsp;
In this idea paper, we propose a novel way for improving the testing of program changes via symbolic execution.  ...  In this way, the technique can exploit precise dynamic value information to effectively drive execution toward the behaviour that has changed from one version to the next.  ...  The mechanism through which shadow symbolic execution determines the input ranges that trigger a different behaviour in the two versions is to run both program versions in the same symbolic execution instance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2591062.2591104">doi:10.1145/2591062.2591104</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/CadarP14.html">dblp:conf/icse/CadarP14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iptry2xusrbevayqlzojz3weqy">fatcat:iptry2xusrbevayqlzojz3weqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140911051001/http://srg.doc.ic.ac.uk/files/papers/shadow-icse-nier-14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/dd/ccddab6e9634ce1438b9815061b7f3870964b3ac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2591062.2591104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Techniques for Automated Test Cases Generation: A Review

Pranali Mahadik, Debnath Bhattacharyya, Hye-jin Kim
<span title="2016-12-31">2016</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kx4szfp7xvfn7laozkx3mc4iqe" style="color: black;">International Journal of Software Engineering and Its Applications</a> </i> &nbsp;
Generation of test cases is challenging part of software testing phase. Test cases must have ability to cover more test objective features i.e., achieve more test coverage.  ...  The different techniques for automatic generation of test cases find small set of test cases reduce human efforts as well as cost of software testing and produce most efficient and effective testing of  ...  Most of the time used as a benchmark because it is easy to implement. Symbolic-Execution Execute program with symbol rather than value 1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2016.10.12.02">doi:10.14257/ijseia.2016.10.12.02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p3ov2z7vozbkthmfbp45py65uq">fatcat:p3ov2z7vozbkthmfbp45py65uq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180603063756/http://www.sersc.org/journals/IJSEIA/vol10_no12_2016/2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/46/be/46bec03293fceefc81c43918081fbd5e2d86467d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijseia.2016.10.12.02"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Contessa: Concurrency Testing Augmented with Symbolic Analysis [chapter]

Sudipta Kundu, Malay K. Ganai, Chao Wang
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete execution) with symbolic analysis in a scalable and efficient manner to explore both  ...  Testing of multi-threaded programs poses enormous challenges.  ...  CONTESSA Framework: Overview To improve the coverage of testing, we present a framework named CONTESSA that augments conventional CONcurrency TESting with Symbolic Analysis in a scalable and efficient  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14295-6_13">doi:10.1007/978-3-642-14295-6_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uqungfbxpvd4vaifzrmv56z3hi">fatcat:uqungfbxpvd4vaifzrmv56z3hi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401123848/http://www.nec-labs.com/~chaowang/pubDOC/Kundu10Contessa.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4e/02/4e02c3abdacc3cece200c700ba41db6ea0008c47.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14295-6_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

make test-zesti: A symbolic execution solution for improving regression testing

Paul Dan Marinescu, Cristian Cadar
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">2012 34th International Conference on Software Engineering (ICSE)</a> </i> &nbsp;
In this paper, we present a technique for amplifying the effect of existing test suites using a lightweight symbolic execution mechanism, which thoroughly checks all sensitive operations (e.g., pointer  ...  We implemented this technique in a prototype system called ZESTI (Zero-Effort Symbolic Test Improvement), and applied it to three open-source code bases-GNU Coreutils, libdwarf and readelf-where it found  ...  between our work and test augmentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2012.6227146">doi:10.1109/icse.2012.6227146</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/MarinescuC12.html">dblp:conf/icse/MarinescuC12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uhxnkkmytnafnljxcbgdtplkb4">fatcat:uhxnkkmytnafnljxcbgdtplkb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810155559/http://srg.doc.ic.ac.uk/files/papers/zesti-icse-12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/a1/77a18f7d74fdc3d1f0248d49928a4cf75ad41164.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2012.6227146"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Beneficial effects of reading aloud and solving simple arithmetic calculations (learning therapy) on a wide range of cognitive functions in the healthy elderly: study protocol for a randomized controlled trial

Rui Nouchi, Yasuyuki Taki, Hikaru Takeuchi, Hiroshi Hashizume, Takayuki Nozawa, Atsushi Sekiguchi, Haruka Nouchi, Ryuta Kawashima
<span title="2012-04-06">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elawdhnd7neuxgmzbrr6efzkgu" style="color: black;">Trials</a> </i> &nbsp;
The primary outcome measure is the Stroop test score: a measure of executive function.  ...  task, digit symbol coding, and symbol search.  ...  Kasagi for recruiting the participants, testers for performing psychological tests, supporters for conducting learning therapy, the participants, and all our other colleagues in IDAC, Tohoku University  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1745-6215-13-32">doi:10.1186/1745-6215-13-32</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22483196">pmid:22483196</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3349518/">pmcid:PMC3349518</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kyk4zcomuffibc5rginjykkozm">fatcat:kyk4zcomuffibc5rginjykkozm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223220601/http://pdfs.semanticscholar.org/4e02/e6c0dee103542738b01ab6c7255ac7edac1f.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4e/02/4e02e6c0dee103542738b01ab6c7255ac7edac1f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1745-6215-13-32"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3349518" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

Corina S. Pǎsǎreanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, Mark Pape
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA &#39;08</a> </i> &nbsp;
Furthermore, we use two techniques that leverage system-level concrete program executions to gather information about a unit's input to improve the precision of the unit-level test case generation.  ...  We describe an approach to testing complex safety critical software that combines unit-level symbolic execution and system-level concrete execution for generating test cases that satisfy user-specified  ...  Furthermore, we have shown how to use system-level concrete executions to improve unitlevel test case generation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1390630.1390635">doi:10.1145/1390630.1390635</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/PasareanuMBGLPP08.html">dblp:conf/issta/PasareanuMBGLPP08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/duit4idt4jeybm2qveshq2w76q">fatcat:duit4idt4jeybm2qveshq2w76q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808060245/http://www.utdallas.edu/~lxz144130/cs6301-readings/pasareanu-issta08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/ce/7fcee490ef1a0ff2a154b53127911a40c363585f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1390630.1390635"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 200,951 results