117,693 Hits in 4.4 sec

Dynamic Symbolic Execution for Testing Distributed Objects [chapter]

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009 Lecture Notes in Computer Science  
This provides sufficient control to apply the technique of dynamic symbolic execution for model based testing of interleaved processes.  ...  This paper extends dynamic symbolic execution to distributed and concurrent systems.  ...  Dynamic Symbolic Execution of Distributed Objects This section presents the rules to actually compute the symbolic values for a given run.  ... 
doi:10.1007/978-3-642-02949-3_9 fatcat:ky5eoxobxfg6he6zf3w6a2hbea

Dynamic Symbolic Execution of Distributed Concurrent Objects [chapter]

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009 Lecture Notes in Computer Science  
This paper extends dynamic symbolic execution to distributed and concurrent systems.  ...  Creol, a modeling language for distributed concurrent objects, solves this problem by abstracting from a particular scheduling policy but explicitly defining scheduling points.  ...  Dynamic Symbolic Execution of Distributed Objects Conventional symbolic execution uses symbols to represent arbitrary values during execution.  ... 
doi:10.1007/978-3-642-02138-1_16 fatcat:xwz474klzrc6hp2k5bb3u3wld4

Conformance Testing of Distributed Concurrent Systems with Executable Designs [chapter]

Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
2009 Lecture Notes in Computer Science  
For test case generation, we extend Dynamic Symbolic Execution (also called Concolic Execution) to work with multi-threaded models and use this to generate test inputs that maximize model coverage.  ...  A model in the object-oriented, concurrent modeling language Creol is used both for generating test inputs and as a test oracle.  ...  Acknowledgments The authors wish to thank the anonymous reviewers for their helpful comments and clarifications.  ... 
doi:10.1007/978-3-642-04167-9_4 fatcat:hbyswkjzyfge5owf6vkxfw4gua

Study of Integrating Random and Symbolic Testing for Object-Oriented Software [chapter]

Marko Dimjašević, Falk Howar, Kasper Luckow, Zvonimir Rakamarić
2018 Lecture Notes in Computer Science  
symbolic execution.  ...  In this paper, we describe an approach for automatic unit testing of object-oriented software that integrates the two techniques.  ...  Another dynamic symbolic execution engine, LCT [23] , supports distributed exploration; it uses Boolector and Yices for solving, but it does not have support for float and double primitive types.  ... 
doi:10.1007/978-3-319-98938-9_6 fatcat:wmrqbjajkrgdjcuhyzzoz435oe

White-box testing of behavioral web service contracts with Pex

Nikolai Tillmann, Jonathan de Halleux
2008 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08  
Pex, a white-box test generation tool for .NET, can automatically create test inputs that cover corner cases of a web service implemented in .NET, simulating a malicous attacker.  ...  In this tool demo, we show how Pex [10, 8] , a dynamic symbolic execution tool for .NET, can be used to generate test cases for a web service.  ...  DYNAMIC SYMBOLIC EXECUTION Pex explores the reachable statements of a PUT using dynamic symbolic execution [3, 2] .  ... 
doi:10.1145/1390832.1390840 dblp:conf/issta/TillmannH08 fatcat:3qhaefeq3bba3f22wdrhnowybe

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation.  ...  We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing.  ...  Dynamic Test Generation Recent work on using symbolic execution for dynamic test case generation-such as Directed Automated Random Testing (DART) [28] , EXecution Generated Executions (EGT/EXE) [12,  ... 
doi:10.1145/1985793.1985995 dblp:conf/icse/CadarGKPSTV11 fatcat:mb643zlyczcizdxtzkbbtnr7ha

A New Approach for Distributed Symbolic Software Testing [chapter]

Nassima Aleb, Samir Kechid
2013 Lecture Notes in Computer Science  
This paper presents a new parallel algorithm for backward symbolic execution. We use a program modeling allowing an easy distributed symbolic execution and a scalable program testing.  ...  Second, we develop a distributed symbolic execution framework. Symbolic execution techniques usually represent executions as trees.  ...  To address such limitations, concolic (CONCrete + symbOLIC) testing combines concrete dynamic analysis and static symbolic analysis to automatically generate test cases to explore execution paths of a  ... 
doi:10.1007/978-3-642-39643-4_35 fatcat:lnvvxh6inzgmzduqbfdg56k33u

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan [chapter]

Andreas Ibing
2013 Lecture Notes in Computer Science  
The runtime behaviour of the parallel symbolic execution engine is evaluated by running it on buffer overflow test programs from the NSA's Juliet test suite for static analyzers.  ...  This paper presents a parallel symbolic execution engine as a plug-in extension to Eclipse CDT/Codan.  ...  This work has been partially funded by the German Ministry for Education and Research (BMBF) under grant 01IS13020.  ... 
doi:10.1007/978-3-642-41707-8_13 fatcat:ulel6hpl7nejjl5gnbn42a4cji


Yunho Kim, Moonzoo Kim
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
One main task of concolic testing is to extract symbolic information from a concrete execution of a target program at runtime.  ...  SCORE instruments a target C program to extract symbolic information and applies concolic testing to a target program in a scalable manner by utilizing a large number of distributed computing nodes.  ...  We would like to thank Matt Staats for his feedback and comments.  ... 
doi:10.1145/2025113.2025180 dblp:conf/sigsoft/KimK11 fatcat:52njv4nl7ffjrbkfacjucrlfxe

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation

Moonzoo Kim, Yunho Kim, Gregg Rothermel
2012 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation  
Although testing is a standard method for improving the quality of software, conventional testing methods often fail to detect faults.  ...  To address this limitation, we have developed a scalable distributed concolic testing framework that utilizes large numbers of computing nodes to generate test cases in a scalable manner.  ...  To address such limitations, concolic (CONCrete + sym-bOLIC) testing [1] (also known as dynamic symbolic execution [2] and white-box fuzzing [3] ) combines concrete dynamic analysis and static symbolic  ... 
doi:10.1109/icst.2012.114 dblp:conf/icst/KimKR12 fatcat:nwegakidfbfzjg4de42kk6z5f4

Generalized Symbolic Execution for Model Checking and Testing [chapter]

Sarfraz Khurshid, Corina S. PĂsĂreanu, Willem Visser
2003 Lecture Notes in Computer Science  
We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches.  ...  Second, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity), data (e.g., integers and strings) and  ...  Acknowledgements The authors would like to thank Doron Peled for useful discussions and Viktor Kuncak, Darko Marinov, Zhendong Su, and the anonymous referees for useful comments.  ... 
doi:10.1007/3-540-36577-x_40 fatcat:ux2t3ej35je43lt7xo7y6laefa


Mainul Islam, Christoph Csallner
2010 Proceedings of the Eighth International Workshop on Dynamic Analysis - WODA '10  
However, code decoupled via interfaces poses additional challenges for testing and dynamic execution, as not all pieces of code that are necessary to execute a piece of code may be available.  ...  In this paper, we describe a novel technique for generating test cases and mock classes for object-oriented programs that are coded against interfaces.  ...  It is not the only tool for dynamic symbolic execution. But Dsc is the first and only one tool we are aware of that generates mockclasses for dynamic symbolic execution.  ... 
doi:10.1145/1868321.1868326 dblp:conf/issta/IslamC10 fatcat:v3hh3q5x7zc7pmt4b2t6ilrcnq


Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
The symbolic execution produces abstract conditions over program variables that the concrete tests satisfy during their execution.  ...  Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique.  ...  ., for testing [4] ). • Our approach is not concolic execution (as in tools like Dart [15] , Cute [27] , or Parasoft's original "dynamic symbolic execution" patent [19] ).  ... 
doi:10.1145/1368088.1368127 dblp:conf/icse/CsallnerTS08 fatcat:3vfsj7quqbcqddhstcjkxq6jcu

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations

Mainul Islam, Christoph Csallner
2014 ACM Transactions on Software Engineering and Methodology  
To cover such code in an object-oriented setting, we describe a novel technique for generating test cases and mock classes.  ...  The technique consists of collecting constraints on interfaces, annotations, and reflection, combining them with program constraints collected during dynamic symbolic execution, encoding them in a constraint  ...  We also provide background information on dynamic symbolic execution and our Dsc dynamic symbolic execution engine.  ... 
doi:10.1145/2544135 fatcat:q4xg74mmm5asngknn3x27ga7r4

Run-time dynamic linking for reprogramming wireless sensor networks

Adam Dunkels, Niclas Finne, Joakim Eriksson, Thiemo Voigt
2006 Proceedings of the 4th international conference on Embedded networked sensor systems - SenSys '06  
We measure the energy consumption and execution time overhead on real hardware to quantify the energy costs for dynamic linking.  ...  We have implemented an in-situ run-time dynamic linker and loader that use the standard ELF object file format.  ...  Thanks to our paper shepherd Feng Zhao for reading and commenting on the paper.  ... 
doi:10.1145/1182807.1182810 dblp:conf/sensys/DunkelsFEV06 fatcat:6evuxaim55cktgejkvw66rwo54
« Previous Showing results 1 — 15 out of 117,693 results