20 Hits in 4.5 sec

jPET: An Automatic Test-Case Generator for Java

Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gomez-Zamalloa, Sergio Gutierrez
2011 2011 18th Working Conference on Reverse Engineering  
We present jPET, a whitebox test-case generator (TCG) which can be used during software development of Java applications within the Eclipse environment. jPET builds on top of PET, a TCG which automatically  ...  obtains test-cases from the bytecode associated to a Java program. jPET performs reverse engineering of the test-cases obtained at the bytecode level by PET in order to yield this information to the user  ...  CONCLUSIONS AND RELATED WORK There exist many test-case generation tools, most of which are devoted to generate unit tests that can be used later for regression testing.  ... 
doi:10.1109/wcre.2011.67 dblp:conf/wcre/AlbertCFGG11 fatcat:er32tbquxna6robhqpqqqwvwqq

Evaluating Symbolic Execution-Based Test Tools

Lajos Cseppento, Zoltan Micskei
2015 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)  
for the tools, created an automated framework to execute and evaluate these snippets, and performed experiments on four Java and one .NET test generator tools.  ...  In recent years several symbolic execution-based tools have been developed to automatically select relevant test inputs from the source code of the system under test.  ...  ACKNOWLEDGMENT The authors would like to thankÁgnes Salánki for the help with the visualization of the results.  ... 
doi:10.1109/icst.2015.7102587 dblp:conf/icst/CseppentoM15 fatcat:76t4hc23zbcetfxr37ulzqtgwi

Detecting and Reporting Object-Relational Mapping Problems: An Industrial Report

Marcos Felipe Carvalho Nazario, Eduardo Guerra, Rodrigo Bonifacio, Gustavo Pinto
2019 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)  
Method: We first report an observational study in which we curated 12 ORMrelated problems, which are implemented in our framework.  ...  Aims: The aim of this work is to assess how practitioners perceive our framework, the problems, they face, and the eventual points for improvements.  ...  We thank the participants for collaborating in this research and the reviewers for their helpful comments.  ... 
doi:10.1109/esem.2019.8870163 dblp:conf/esem/NazarioGB019 fatcat:fhixpiww5rffdbqarig2sml2ji

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency [chapter]

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Jose Miguel Rojas
2014 Lecture Notes in Computer Science  
The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution.  ...  In essense, the imperative object-oriented program under test is automatically transformed into an equivalent executable CLP-translated program.  ...  Furthermore, an Eclipse plugin called jPET [3] is available. jPET supports full sequential Java and some of its interesting features are: -Interactive test case visualization. jPET integrates a test  ... 
doi:10.1007/978-3-319-07317-0_7 fatcat:ymynxalwxrg7fiko7lanlmu2me

Combining symbolic execution and search-based testing for programs with complex heap inputs

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017  
Despite the recent improvements in automatic test case generation, handling complex data structures as test inputs is still an open problem.  ...  In this paper, we propose a new approach to automatically generate test cases for programs with complex data structures as inputs.  ...  In this paper, we propose a new approach to automatically generate test cases for programs with complex data structures.  ... 
doi:10.1145/3092703.3092715 dblp:conf/issta/BraioneDMP17 fatcat:f3y4wn4ufnej5ouoybmtzbljza

Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation

Nina Marwede, Matthias Rohr, André van Hoorn, Wilhelm Hasselbring
2009 2009 13th European Conference on Software Maintenance and Reengineering  
In this paper, we present an architecture-centric approach for the second step.  ...  A large class of automatic failure diagnosis approaches consists of two steps: 1) computation of component anomaly scores; 2) global correlation of the anomaly scores for fault localization.  ...  Experiment Setup The software system for the case study is the iBATIS JPet-Store 1 which is a demo Java Web application implementing an online store scenario.  ... 
doi:10.1109/csmr.2009.15 dblp:conf/csmr/MarwedeRHH09 fatcat:vfndi65ilnhttgdag7xlvyealy

μP: A Development Framework for Accurate Performance Predictions in Microservices Systems - Replication Package [article]

Giulio Garbi, Emilio Incerto, Mirco Tribastone
2022 Zenodo  
Replication Package for the paper "μP: A Development Framework for Accurate Performance Predictions in Microservices Systems"  ...  To make this performant-byconstruction objective possible, µP automatically generates an underlying performance model based on a fragment of layered queuing networks (LQNs)s [10] .  ...  The prediction error over B's utilization is at most (in absolute terms) 0.01 for AcmeAir, 0.04 for JPet Store, 0.09 for Tea Store, and 0.07 for TMS.  ... 
doi:10.5281/zenodo.6665596 fatcat:5i7ts3b7uvh3bgjqsu3tfe5fdq

EPiT : A Software Testing Tool for Generation of Test Cases Automatically [article]

Rosziati Ibrahim, Ammar Aminuddin Bani Amin, Sapiee Jamel, Jahari Abdul Wahab
2020 pre-print
By using code smell functionality, EpiT helps to generate test cases automatically from Java programs by checking its line of code (LOC).  ...  EpiT is developed to optimize the generation of test cases from source code in order to reduce time used for conventional manually creating test cases.  ...  ACKNOWLEDGMENT The authors would like to thanks Ministry of Education (MOE) for supporting this study under Prototype Research Grant (PRGS) Vote No K037.  ... 
doi:10.14445/22315381/ijett-v68i7p202s arXiv:2007.11197v1 fatcat:ssldfd7exnaqnpk3akyhrugh4q

FOREPOST: finding performance problems automatically with feedback-directed learning software testing

Qi Luo, Aswathy Nair, Mark Grechanik, Denys Poshyvanyk
2015 Empirical Software Engineering  
Theses rules are then used to automatically select test input data for performance testing. We hypothesize that FOREPOST can find more performance bottlenecks as compared to random testing.  ...  We propose FOREPOST, a novel solution, for automatically finding performance bottlenecks in applications using black-box software testing.  ...  Acknowledgements We are grateful to the anonymous ICSE'12 and EMSE journal reviewers for their relevant and useful comments and suggestions, which helped us to significantly improve an earlier version  ... 
doi:10.1007/s10664-015-9413-5 fatcat:6fbrfubbobbgbarnuwc4eq2kke

Mining performance regression inducing code changes in evolving software

Qi Luo, Denys Poshyvanyk, Mark Grechanik
2016 Proceedings of the 13th International Workshop on Mining Software Repositories - MSR '16  
We propose a novel recommendation system, coined as PerfImpact, for automatically identifying code changes that may potentially be responsible for performance regressions using a combination of search-based  ...  A notable problem of regression testing is how to find problematic changes (out of a large number of committed changes) that may be responsible for performance regressions under certain test inputs.  ...  In software testing, many approaches rely on GAs for test case generation.  ... 
doi:10.1145/2901739.2901765 dblp:conf/msr/LuoPG16 fatcat:vsmbtbwdarcsxhg6oxqxcv7ole

Automatic Falsification of Java Assertions

Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent Von Hof
We present an approach for the static detection of possible assertion violations in Java. The main idea is to use an existing test-case generator in combination with a new program transformation.  ...  A possible assertion violation is indicated by a generated specific test case. In addition, this test case specifies the path in the program leading to the assertion violation.  ...  Remove C.M' end for However, some test-case generators, such as jPET [6] or Muggl [11] , do not support assertions.  ... 

Trace-Context Sensitive Performance Profiling for Enterprise Software Applications [chapter]

Matthias Rohr, André van Hoorn, Simon Giesecke, Jasminka Matevska, Wilhelm Hasselbring, Sergej Alekseev
2008 Lecture Notes in Computer Science  
In the case study, our approach provides response time distributions with significantly lower standard deviation, compared to using less or no calling-context information.  ...  An example from a performance analysis of an industry system demonstrates that multi-modal distributions can be replaced by multiple unimodal distributions using trace-context analysis.  ...  Acknowledgement We would like to acknowledge Nokia Siemens Networks Berlin, Business Service Solution for supporting this project.  ... 
doi:10.1007/978-3-540-69814-2_18 fatcat:poqj6aqqtzfnzjifwgnx5vs5ge

S/T/A: Meta-Modeling Run-Time Adaptation in Component-Based System Architectures

Nikolaus Huber, Andre van Hoorn, Anne Koziolek, Fabian Brosig, Samuel Kounev
2012 2012 IEEE Ninth International Conference on e-Business Engineering  
In this paper, we propose a novel modeling language (meta-model) providing means to describe system adaptation processes at the system architecture level in a generic, human-understandable and reusable  ...  In our evaluation, we expose a Java-based application (JPet-Store 5.0) to a probabilistic workload with varying intensity based on a 24-hour workload profile obtained from an industrial system.  ...  Example: Dynamic Resource Allocation In [10] , we presented an algorithm for dynamic resource allocation in virtualized environments. This algorithm is currently implemented in Java.  ... 
doi:10.1109/icebe.2012.21 dblp:conf/icebe/HuberHKBK12 fatcat:as3fd33fy5gxdeifdcvwobfgb4

A Hierarchical-DBSCAN Method for Extracting Microservices from Monolithic Applications [article]

Khaled Sellami
2022 arXiv   pre-print
We provide an empirical evaluation of our approach through different experimental settings including a comparison with existing human-designed microservices and a comparison with 5 baselines.  ...  The results show that our method succeeds in generating microservices that are overall more cohesive and that have fewer interactions in-between them with up to 0.9 of precision score when compared to  ...  For each of these test projects, we all of their Java classes together in order to simulate a Monolithic architecture.  ... 
arXiv:2206.07010v1 fatcat:wgifuckog5djjddhmk3uch6rgy


Natalia Negara
To solve this task we develop an automatic method for reverse engineering the features of dynamic web applications by applying a hierarchical clustering algorithm based on a novel composite-tree-edits-aware  ...  The ability of CrawlScripter to create automated acceptance tests for different test scenarios was evaluated on both pedagogical and real-world dynamic web applications.  ...  Sauvé et al. introduced EasyAccept [36] , a framework that automatically generates and executes acceptance tests for Java programs, including web applications written in Java.  ... 
doi:10.7939/r3sw80 fatcat:3hhfxa2p2vcxbpczhksnylrrle
« Previous Showing results 1 — 15 out of 20 results