Filters








308,614 Hits in 7.3 sec

Event-Driven Exception Handling for Software Engineering Processes [chapter]

Gregor Grambow, Roy Oberhauser, Manfred Reichert
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/noh4d7uktraolega74eilgfv5u" style="color: black;">Lecture Notes in Business Information Processing</a> </i> &nbsp;
A scenario is used to illustrate how this approach supports exception handling with different levels of available contextual knowledge in concordance with software engineering environment relations to  ...  To alleviate this problem, a dynamic exception handling approach for software engineering processes is presented that incorporates event detection and processing facilities and semantic classification  ...  Flexible Exception Handling To respond to the special properties of dynamic SE process execution, this paper proposes an advanced process exception handling approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28108-2_40">doi:10.1007/978-3-642-28108-2_40</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kmshzz7tkrhlbnwzi6r23z7tda">fatcat:kmshzz7tkrhlbnwzi6r23z7tda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321122114/https://www.hs-aalen.de/uploads/publication/file/7267/1014_EDBPM11_Grambow.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/f7/36/f736bad08f2ff58c989ff936e19971659b3c30ba.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-28108-2_40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A transactional model for automatic exception handling

Bruno Cabral, Paulo Marques
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4g6viwy4zav7drpx4exlk73tu" style="color: black;">Computer languages, systems &amp; structures</a> </i> &nbsp;
The Automatic Exception Handling (AEH) model frees the programmer from having to write exception handling code and, at the same time, successfully increases the resilience of programs to abnormal situations  ...  Most times, when an error occurs, exceptions are silenced or just used to terminate a program in an orderly fashion, not really to recover.  ...  Summary In this chapter we described and tested an implementation of the Automatic Exception Handling Model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cl.2010.09.002">doi:10.1016/j.cl.2010.09.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/utuk3waua5fapeadvxhwqflzhq">fatcat:utuk3waua5fapeadvxhwqflzhq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814182237/https://estudogeral.sib.uc.pt/jspui/bitstream/10316/12181/3/phd_thesis.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/4f/e0/4fe0f8cd36c1cbec1159054a01040f6c0111982b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cl.2010.09.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Resilient workflows for cooperative design

Toan Nguyen, Laurentiu Trifan, Jean-Antoine Desideri
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e34xaw3burczrcyvbwqppadzdm" style="color: black;">Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design (CSCWD)</a> </i> &nbsp;
This paper describes an approach to extend process modeling for engineering design applications with fault-tolerance and resilience capabilities.  ...  This approach is applied on a prototype tested against industrial testcases for optimization of engineering design artifacts.his electronic document is a "live" template.  ...  Exception handling The exception handlers are automatically tested by the YAWL workflow engine when the corresponding tasks are invoked.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cscwd.2011.5960057">doi:10.1109/cscwd.2011.5960057</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cscwd/NguyenTD11.html">dblp:conf/cscwd/NguyenTD11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ciwwdrbglfe6lknkhvz5gxm6nq">fatcat:ciwwdrbglfe6lknkhvz5gxm6nq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161226230753/https://hal.archives-ouvertes.fr/hal-00638846/document" 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/8c/4e8c99effe9b5472ffe7dc61be0df9af9e060f58.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cscwd.2011.5960057"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Organizers

<span title="">2007</span> <i title="IEEE"> Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) </i> &nbsp;
Techniques like exception handling, code reloading, operating system component isolation, micro-rebooting, automatic system service restarts, watchdog timer based recovery and transactional components  ...  can be applied to attempt self-healing of an operating system from a wide variety of errors.  ...  Transactional component support was added to Choices by Winson Chan, Jin Heo and Changyoung Jung.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2007.5">doi:10.1109/dasc.2007.5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3qa6p4scvfhetnqhe6uaxqitkq">fatcat:3qa6p4scvfhetnqhe6uaxqitkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321085627/http://cs.potsdam.edu/faculty/laddbc/Teaching/OperatingSystems/StudentPapers/2007David-BuildingASelfHealingOperatingSystem" 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/f5/7d/f57d0d817f52b92e81442683e4d787f2c64f485c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2007.5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Building a Self-Healing Operating System

Francis M. David, Roy H. Campbell
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ji6nzbkbrfalbhsdpzlmqn6wzy" style="color: black;">Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007)</a> </i> &nbsp;
Techniques like exception handling, code reloading, operating system component isolation, micro-rebooting, automatic system service restarts, watchdog timer based recovery and transactional components  ...  can be applied to attempt self-healing of an operating system from a wide variety of errors.  ...  Transactional component support was added to Choices by Winson Chan, Jin Heo and Changyoung Jung.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2007.22">doi:10.1109/dasc.2007.22</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dasc/DavidC07.html">dblp:conf/dasc/DavidC07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/niuwz2n2gbd4zj43xm22dpph6y">fatcat:niuwz2n2gbd4zj43xm22dpph6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170707010051/http://choices.cs.illinois.edu/selfhealing.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/66/fe66aeb7aa16df7d54f9d118cfcbb6e07c686dec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2007.22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Building a Self-Healing Operating System

Francis M. David, Roy H. Campbell
<span title="">2007</span> <i title="IEEE"> Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) </i> &nbsp;
Techniques like exception handling, code reloading, operating system component isolation, micro-rebooting, automatic system service restarts, watchdog timer based recovery and transactional components  ...  can be applied to attempt self-healing of an operating system from a wide variety of errors.  ...  Transactional component support was added to Choices by Winson Chan, Jin Heo and Changyoung Jung.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isdasc.2007.4351383">doi:10.1109/isdasc.2007.4351383</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qn4ezqm35na6hexvlbccdqwwdi">fatcat:qn4ezqm35na6hexvlbccdqwwdi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170707010051/http://choices.cs.illinois.edu/selfhealing.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/66/fe66aeb7aa16df7d54f9d118cfcbb6e07c686dec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isdasc.2007.4351383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Specifying and Dynamically Monitoring the Exception Handling Policy

Joilson Abrantes, Roberta Coelho
<span title="2015-07-01">2015</span> <i title="KSI Research Inc. and Knowledge Systems Institute Graduate School"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tmv5k3vzsffn7oepnliq7vwghq" style="color: black;">Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering</a> </i> &nbsp;
The results indicate that this approach can be used to express and to automatically check the exception handling policy of a system, and consequently support the development of more robust Java systems  ...  The exception handling policy of a system comprises the set of design rules that specify its exception handling behavior (how exceptions should be handled and thrown).  ...  RELATED WORK Two approaches [1] [7] extended the JUnit testing tool to support the definition of automated tests for the exception handling behavior.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18293/seke2015-133">doi:10.18293/seke2015-133</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/seke/AbrantesC15.html">dblp:conf/seke/AbrantesC15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mzzoekmppfe7jo6fcowo2scu24">fatcat:mzzoekmppfe7jo6fcowo2scu24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602182350/http://ksiresearchorg.ipage.com/seke/seke15paper/seke15paper_133.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/3a/af/3aafcd0b6d3de9aaf2cd9ea52a043f3e7f808555.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18293/seke2015-133"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Automated test-data generation for exception conditions

N. Tracey, J. Clark, K. Mander, J. McDermid
<span title="">2000</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afve5b3tavbfzch46mdtazbqla" style="color: black;">Software, Practice &amp; Experience</a> </i> &nbsp;
This paper presents a technique for automatically generating test-data to test exceptions.  ...  Typically, it is easier to prove the absence of any exceptions than proving that the exception handling is safe.  ...  Rolls-Royce Plc provided access to source code and support in carrying out the aircraft engine controller casestudy.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/(sici)1097-024x(200001)30:1&lt;61::aid-spe292&gt;3.0.co;2-9">doi:10.1002/(sici)1097-024x(200001)30:1&lt;61::aid-spe292&gt;3.0.co;2-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/odikz4ywgfaopf7bvhgirbxfxq">fatcat:odikz4ywgfaopf7bvhgirbxfxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814034458/https://www.cs.york.ac.uk/testsig/publications/njt-00.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/82/ca/82ca42c146d50db58532d95e796f4360c7ec2ef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/(sici)1097-024x(200001)30:1&lt;61::aid-spe292&gt;3.0.co;2-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

OCAT

Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 19th international symposium on Software testing and analysis - ISSTA &#39;10</a> </i> &nbsp;
Exception branches 18 (6.1%) These branches have a particularity of exception handling code that handles run-time errors Environmental setting 9 (3.1%) Hard to get environment variables and file-system  ...  .  Feed captured objects to an existing automated method sequence generation technique.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1831708.1831729">doi:10.1145/1831708.1831729</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/JaygarlKXC10.html">dblp:conf/issta/JaygarlKXC10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dcoxmh3byjcs3cbvjdpgfxhpre">fatcat:dcoxmh3byjcs3cbvjdpgfxhpre</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110506190603/http://www.cs.iastate.edu/~jaygarl/paper/Jaygarl-OCAT-20100715-ISSTA.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/95/9e/959e5e79e32841c335c12076b2f690b4c0bc494c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1831708.1831729"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The role of context in exception-driven rework

Xiang Zhao, Barbara Staudt Lerner, Leon Osterweil
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">2012 5th International Workshop on Exception Handling (WEH)</a> </i> &nbsp;
upon completion of the exception handling work.  ...  In this paper, we describe a simple refactoring process, showing the use of the exception-driven rework exception handling pattern within it.  ...  ACKNOWLEDGMENT The authors thank Sandy Wise for many conversations that have led to important insights and to excellent ideas about how to design our refactoring process and how to implement the prototype  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/weh.2012.6226597">doi:10.1109/weh.2012.6226597</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/ZhaoLO12.html">dblp:conf/icse/ZhaoLO12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/anb7phovdzacje435sa3rl654m">fatcat:anb7phovdzacje435sa3rl654m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150726172423/http://laser.cs.umass.edu:80/techreports/12-026.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/21/d1/21d19032414ee25c49717c1ff5992061d56031b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/weh.2012.6226597"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Resilient Framework for Fault Handling in Web Service Oriented Systems

Weidong Wang, Liqiang Wang, Wei Lu
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v5fagqotxjcn3jsjkqi336dzse" style="color: black;">2015 IEEE International Conference on Web Services</a> </i> &nbsp;
In this paper, we propose a resilient framework to automatically generate a fault handling strategy for each failed service to improve the efficiency of fault handling.  ...  Next, the decision maker adopts a k-means clustering approach to construct a decision including the fault handling to each failed service in a scope.  ...  Second, we explore an automatic approach to automatically generate a fault handling strategy to reduce the workload of programmer when a fault occurs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2015.93">doi:10.1109/icws.2015.93</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icws/WangWL15.html">dblp:conf/icws/WangWL15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l3spowkxafhcfapc5kclwnqfbe">fatcat:l3spowkxafhcfapc5kclwnqfbe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150919210419/http://www.cs.uwyo.edu/~lwang7/papers/ICWS2015.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/cf/c3/cfc302bd6d42c4d5761c58e4351e190cdbf35923.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2015.93"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs [chapter]

Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan
<span title="">2011</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;
First we describe our effort in extending an existing symbolic execution tool for C programs to handle C++ programs.  ...  We present the first symbolic execution and automatic test generation tool for C++ programs.  ...  -Exceptions. An important feature of C++ is to provide built-in support for exceptions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22110-1_49">doi:10.1007/978-3-642-22110-1_49</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c3rxa5facbdpfln5z22pmnokfq">fatcat:c3rxa5facbdpfln5z22pmnokfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922212915/http://www.cs.utah.edu/%7Eligd/publications/KLOVER-CAV11.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/09/60/09602bb0edf7cf3e45b82b820dd1efb04494fc33.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-22110-1_49"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic detection and masking of nonatomic exception handling

C. Fetzer, P. Felber, K. Hogstedt
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
In particular, exception handling is only effective if the premature termination of a method due to an exception does not leave an object in an inconsistent state.  ...  We propose practical techniques to automatically detect and mask the non-atomic exception handling situations encountered during program execution.  ...  In particular, exception injections allows us to systematically test exception handling code and to increase the line and branch coverage by executing the statements in catch blocks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2004.35">doi:10.1109/tse.2004.35</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zwcyc6mvpvh2fgq7xp3qpgup7u">fatcat:zwcyc6mvpvh2fgq7xp3qpgup7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050521070651/http://members.unine.ch:80/pascal.felber/publications/TSE-04.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/30/b3/30b32ed151db43369be032bda319e7d004f297ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2004.35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Java Enterprise Edition Support in Search-Based JUnit Test Generation [chapter]

Andrea Arcuri, Gordon Fraser
<span title="">2016</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;
These frameworks pose challenges to the automatic generation of JUnit tests. In particular, code units ("beans") are handled by external web containers (e.g., WildFly and GlassFish).  ...  Experiments on 247 classes (the JBoss EAP tutorial examples) reveal an increase in code coverage, and demonstrate that our techniques prevent the generation of useless tests (e.g., tests where dependencies  ...  Importantly, this approach prevents, by construction, the generation of misleading tests that throw null pointer exceptions just because dependency injections are not handled.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47106-8_1">doi:10.1007/978-3-319-47106-8_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ylvdr3aydvhihh5o3qf4ucwsqu">fatcat:ylvdr3aydvhihh5o3qf4ucwsqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723232458/http://eprints.whiterose.ac.uk/113441/1/paper.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/72/66/7266c0a272a6ccf5e26af58dca9e6463a69506e3.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-47106-8_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution

Marcelo Medeiros Eler, Vinicius Durelli, André Takeshi Endo
<span title="2015-07-01">2015</span> <i title="KSI Research Inc. and Knowledge Systems Institute Graduate School"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tmv5k3vzsffn7oepnliq7vwghq" style="color: black;">Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering</a> </i> &nbsp;
This paper reports on an investigation that we carried out to gauge the cost (i.e., number of path constraints) of four data generation approaches aimed at covering exception dependent paths.  ...  In such a case, implicit constraints have to be inferred from exception handling mechanisms.  ...  The authors would like to thank the financial support provided by CAPES (BEX 1714/14-7), FAPESP (2014/08713-9), and CNPq (445958/2014-6).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18293/seke2015-170">doi:10.18293/seke2015-170</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/seke/ElerDE15.html">dblp:conf/seke/ElerDE15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ypkgsex6uzfx7cif7yszsrjq4y">fatcat:ypkgsex6uzfx7cif7yszsrjq4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602013356/http://ksiresearchorg.ipage.com/seke/seke15paper/seke15paper_170.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/6b/12/6b121b656cbb35b4a818f891aaebc26598352a6a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18293/seke2015-170"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 308,614 results