Filters








77,723 Hits in 7.2 sec

Symbolic Liveness Analysis of Real-World Software [chapter]

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We show that this property naturally maps to many different kinds of real-world programs.  ...  The implementation of our method found a total of five previously undiscovered software defects in BusyBox and the GNU Coreutils.  ...  the practical analysis of real-world software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-96142-2_27">doi:10.1007/978-3-319-96142-2_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p4w26obtxnafne6jjl6kev7w2u">fatcat:p4w26obtxnafne6jjl6kev7w2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303212910/http://pdfs.semanticscholar.org/bbf8/512c676eece2fe60753ad7449de99dca1af4.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/bb/f8/bbf8512c676eece2fe60753ad7449de99dca1af4.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-319-96142-2_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software [article]

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
<span title="2018-07-17">2018</span> <i title="Zenodo"> Zenodo </i> &nbsp;
We show that this property naturally maps to many different kinds of real-world programs.  ...  Liveness violation bugs are notoriously hard to detect, especially due to the difficulty inherent in applying formal methods to real-world programs.  ...  When using our tool on real-world software, we use KLEE's -optimize option that runs some LLVM optimization passes before starting symbolic execution. 7 Test Suite Test Subjects The list of tools used  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5771192">doi:10.5281/zenodo.5771192</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/swjizh2hkveenfqyr75yibsksq">fatcat:swjizh2hkveenfqyr75yibsksq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211213131616/https://zenodo.org/record/5771193/files/README.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/a8/84/a8842b28b7070e70be9c16cd4e1d2c3d0188adad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5771192"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Scalable analysis of variable software

Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013</a> </i> &nbsp;
To learn about the mutual strengths and weaknesses of variability-aware and sampling-based analyses of software systems, we compared the two strategies by means of two concrete analysis implementations  ...  (type checking and liveness analysis), applied them to three subject systems: Busybox, the x86 Linux kernel, and OpenSSL.  ...  real-world software systems at the scale of Linux.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2491411.2491437">doi:10.1145/2491411.2491437</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/LiebigRKADL13.html">dblp:conf/sigsoft/LiebigRKADL13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qbehbibr2fb2tpljdgrozssggy">fatcat:qbehbibr2fb2tpljdgrozssggy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705071841/https://www.cs.cmu.edu/~ckaestne/pdf/fse13.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/c3/62/c3620c10d0975e6afa5b70acb05c969197b82961.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2491411.2491437"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Phatic systems in digital society

Victoria Wang, John V. Tucker
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ornzyskhrzaabgtab2x7ydns5q" style="color: black;">Technology in society</a> </i> &nbsp;
and symbolic indicators to the concrete nature of digital data.  ...  This phenomenon is reminiscent of Giddens' 1990 concept of abstract systems -made of symbolic tokens and expert systems -that disembed and re-embed public and professional life.  ...  empirical, objective assignment of symbols to attributes of objects and events of the real world in such a way as to represent them, or to describe them." 11 18-04-2016 In particular, conceptions of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.techsoc.2016.06.002">doi:10.1016/j.techsoc.2016.06.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zzu4rb7h4fc3voyqzupqaybk7i">fatcat:zzu4rb7h4fc3voyqzupqaybk7i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319044923/https://researchportal.port.ac.uk/portal/files/4266905/2016_Phatic_Systems_in_Digital_Society.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/c6/e3/c6e3b93ef11a1e201d82b826d03608c28955d4b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.techsoc.2016.06.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Model checking sequential software programs via mixed symbolic analysis

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanvčić
<span title="2009-01-01">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ditvnky3lrdclbnymbnpcslo5m" style="color: black;">ACM Transactions on Design Automation of Electronic Systems</a> </i> &nbsp;
Experiments on real-world C programs show that the new symbolic search algorithms can achieve several orders-of-magnitude improvements over existing methods based on bit-level (Boolean) reasoning.  ...  We present an efficient symbolic search algorithm for software model checking.  ...  Experiments on Industrial Proprietary Software Programs Finally, we applied our approach to verify real-world examples.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1455229.1455239">doi:10.1145/1455229.1455239</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jgxnkajci5c2njql4ihysrlq2q">fatcat:jgxnkajci5c2njql4ihysrlq2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809021143/http://www.faculty.ece.vt.edu/chaowang/pubDOC/YangWGI09_TODAES.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/fb/77fb4c7bf0d40b173b5aca0eff4852b6f9bfce69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1455229.1455239"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Exterminating bugs via collective information recycling

George Candea
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W)</a> </i> &nbsp;
Ironically, both testing and debugging involve simulating real-world conditions and executions, in essence trying to recreate in the lab some of these (previously available, but discarded) execution details  ...  We view every execution of a program as a test run and aggregate executions across the lifetime of a program into one gigantic test suite-i.e., we remove the distinction between software use and software  ...  We view SoftBorg as a new step toward the (potentially Utopian) goal of zero-defect real-world software. Figure 1 . 1 SoftBorg platform architecture  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsnw.2011.5958813">doi:10.1109/dsnw.2011.5958813</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/Candea11.html">dblp:conf/dsn/Candea11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bgki3pgp7vg7zdmf5eb3twvryq">fatcat:bgki3pgp7vg7zdmf5eb3twvryq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160413023652/http://dslab.epfl.ch/pubs/softBorg.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/d5/0a/d50a1a40d879d112ad8a37c469a354026f55005d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsnw.2011.5958813"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Revolution of Virtual Practice

Qin Liu, Ru-liang Zhang
<span title="2016-08-25">2016</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/doxdajfofzhxhnrpacrpjj3quu" style="color: black;">Asian Social Science</a> </i> &nbsp;
It is composed of the virtual subject, virtual object and virtual intermediary. With the development of virtual practice, virtual cognition makes epistemology changed radically.  ...  Discussion on virtual practice is a hot issue in the philosophy of virtual reality. The discussion is mainly focused on the virtual practice, the composition of virtual practice and virtual cognition.  ...  The development of virtual technology and virtual cognition brings a new way of understanding the world for human beings, it also brings great changes to people's lives.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v12n9p144">doi:10.5539/ass.v12n9p144</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6fdbknfjrvbafmrffh3e5jrty4">fatcat:6fdbknfjrvbafmrffh3e5jrty4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922043053/http://www.ccsenet.org/journal/index.php/ass/article/viewFile/60876/33555" 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/51/68/516863e300c9edf01eadcff099fc1bdb974903c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ass.v12n9p144"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE [article]

John Galea, Sean Heelan, Daniel Neville, Daniel Kroening
<span title="2018-05-09">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Our contributions are (1) Hemiptera, a novel corpus of over 130 bugs in real world software, (2) a comprehensive evaluation of the KLEE symbolic execution engine on Hemiptera with a categorisation of frequently  ...  occurring software patterns that are problematic for symbolic execution, and (3) an evaluation of manual mitigations aimed at addressing the underlying issues of symbolic execution.  ...  Threats to external generalisability arise as they fail to capture significantly the complexities of real-world software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1805.03450v1">arXiv:1805.03450v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wufixtiusrct5ihyi345slzfjy">fatcat:wufixtiusrct5ihyi345slzfjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828215150/https://arxiv.org/pdf/1805.03450v1.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/39/70/3970b99f41f8b66c23877659a2480c9274498005.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1805.03450v1" 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>

James J. Kaput (1942–2005) imagineer and futurologist of mathematics education

David Tall
<span title="2008-04-24">2008</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ttey32kjnnfs5gwp7gk6oimiru" style="color: black;">Educational Studies in Mathematics</a> </i> &nbsp;
Jim Kaput lived a full life in mathematics education and we have many reasons to be grateful to him, not only for his vision of the use of technology in mathematics, but also for his fundamental humanity  ...  This paper considers the origins of his 'big ideas' as he lived through the most amazing innovations in technology that have changed our lives more in a generation than in many centuries before.  ...  To enable the learner to be in full control of the activity required software both to receive input from sensors that measured real world data and also the facility for the learner to draw a graph with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10649-008-9121-9">doi:10.1007/s10649-008-9121-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jlvfvd3ukzayvg7lrpk5b743yq">fatcat:jlvfvd3ukzayvg7lrpk5b743yq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808213138/http://homepages.warwick.ac.uk/staff/David.Tall/pdfs/dot2008b-james-j-kaput.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/8e/d1/8ed121e382c1ef1b2d04219c43380e69a866b0d6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10649-008-9121-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Tests-versus-Proofs Conundrum

George Candea
<span title="">2014</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kt7pnevei5bd5ed4soqmccmdte" style="color: black;">IEEE Security and Privacy</a> </i> &nbsp;
S2E executes the software symbolically "in vivo," as the software operates in its live, real environment.  ...  Three Real-World Scalability Challenges When trying to use SE for real software problems, a practitioner is likely to hit three main barriers: real software has tons of code, it's tightly connected to  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/msp.2014.18">doi:10.1109/msp.2014.18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n6kbdmej4vfbnhtyauj7gfehjq">fatcat:n6kbdmej4vfbnhtyauj7gfehjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160413024923/http://dslab.epfl.ch/pubs/tests-vs-proofs.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/ce/fc/cefc0528802ea0186084e808f7ceb358953edff8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/msp.2014.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems [article]

Teresa Nicole Brooks
<span title="2018-08-07">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
These challenges have made binary analysis an important area of research in computer science and has emphasized the need for building automated analysis systems that can operate at scale, speed and efficacy  ...  and software patching.  ...  analysis on large, complex real-world applications [31] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1702.06162v4">arXiv:1702.06162v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3rhzbmq6yve2jkcx2mv73pjnre">fatcat:3rhzbmq6yve2jkcx2mv73pjnre</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191023001338/https://arxiv.org/pdf/1702.06162v4.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/fe/79/fe7923c9c2ed4a5a57ea1cc2c16df8237be7e0d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1702.06162v4" 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>

Models in Knowledge Management [chapter]

John Mylopoulos
<span title="">2009</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;
used in KM to create useful abstractions for purposes of dissemination, communication, analysis and management.  ...   Knowledge Management (KM) consists of a set of concepts, techniques and tools for creating, representing, distributing and evolving knowledge within an organizational context.  ...  Acknowledgements The Meaning Triangle Revisited Flowers Artist's World Artifact Intention  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-10488-6_1">doi:10.1007/978-3-642-10488-6_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ajx2ciarzfgbvnwg7lvlrb64n4">fatcat:ajx2ciarzfgbvnwg7lvlrb64n4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811084533/http://cms.dke.univie.ac.at/fileadmin/KSEM/downloads/Mylopoulos.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/c8/4e/c84ec358caa336c61414cad14af5e623d122e23a.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-10488-6_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Detection of the Hardcoded Login Information from Socket and String Compare Symbols

Minami Yoda, Shuji Sakuraba, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
<span title="2021-01-01">2021</span> <i title="International Association for Educators and Researchers (IAER)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xjw6kdfs6vck3oyp24amno6mza" style="color: black;">Annals of Emerging Technologies in Computing</a> </i> &nbsp;
In this experiment, we measured the ability of our proposed method by searching six firmware in the real world that has a backdoor.  ...  However, those studies required a lot of time because of the usage of complicated algorithms such as symbolic execution.  ...  in the real world.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33166/aetic.2021.01.003">doi:10.33166/aetic.2021.01.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ytvlyoibmbcabjii7rtweiu77m">fatcat:ytvlyoibmbcabjii7rtweiu77m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210102024708/http://aetic.theiaer.org/archive/v5/v5n1/p3.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/55/0e/550eacdd5fe4b9705699873daab08e592996095b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33166/aetic.2021.01.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Experimental Analysis and Evaluation of RaptorQ Codes for Video Multicasting over Wi-Fi [article]

Berna Bulut
<span title="2020-04-26">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
from real-world measurements.  ...  Thus, this paper presents the first detailed analysis on the implementation of RaptorQ codes for streaming high definition video over Wi-Fi.  ...  Therefore, this paper presents experimental results and analysis of AL-FEC based on the latest RQ codes for transmitting high data rate live video over Wi-Fi in real world outdoor environments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2004.12461v1">arXiv:2004.12461v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tex3whogovdjfhmi2pzqjmfyyy">fatcat:tex3whogovdjfhmi2pzqjmfyyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200504054211/https://arxiv.org/ftp/arxiv/papers/2004/2004.12461.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2004.12461v1" 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>

Research On Strategy For Automated Scaleless-Map Compilation

Yin Jie, Qin Qiming, Yin Yong
<span title="2012-05-21">2012</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Taking into account the demand of automated map compilation, detailed proposed the software - WJ workstation must have four technical features, which are generalization operators, symbol primitives, dynamically  ...  Economic and social development requires extensive and in-depth understanding of their own living environment, from the scope of the overall global to urban housing.  ...  Chengming Li from Chinese Academy of Surveying and Maping for his helpful proposals.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1074455">doi:10.5281/zenodo.1074455</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3smg56cxv5dqnmxhokrgomrrbu">fatcat:3smg56cxv5dqnmxhokrgomrrbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200113010831/https://zenodo.org/record/1074455/files/10020.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/85/02/8502d8c3a094d3431b19c7935127bfa4c00b894d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1074455"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 77,723 results