18,628 Hits in 5.6 sec

Scalable analysis of variable software

Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
The advent of variability management and generator technology enables users to derive individual variants from a variable code base based on a selection of desired configuration options.  ...  Recently, researchers have begun to develop variability-aware analyses that analyze the variable code base directly exploiting the similarities among individual variants to reduce analysis effort.  ...  Hypotheses and Research Questions Based on the goals and properties of variability-aware and sampling-based analyses, we formulate two hypotheses and two research questions. 1.  ... 
doi:10.1145/2491411.2491437 dblp:conf/sigsoft/LiebigRKADL13 fatcat:qbehbibr2fb2tpljdgrozssggy

Speculative parallelization of partial reduction variables

Liang Han, Wei Liu, James M. Tuck
2010 Proceedings of the 8th annual IEEE/ ACM international symposium on Code generation and optimization - CGO '10  
We implement our compiler analysis and transformation in GCC, and analyze its potential on the SPEC CPU 2000 benchmarks.  ...  Based on these requirements, we propose an implementation in a TLS system to parallelize PRVs that works by a combination of techniques at compile time and in the hardware.  ...  We implemented a parallelization framework for PRVs using an automatic parallelizing compiler for Thread-Level Speculation and a new architecture with necessary supports for detecting and correcting updates  ... 
doi:10.1145/1772954.1772975 dblp:conf/cgo/HanLT10 fatcat:cvzkt75jffb4bfd7oqnehpi2da

Functional safety and variability

Michael Schulze, Jan Mauersberger, Danilo Beuche
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
However, we have identified and will discuss challenges with respect to variable safety analyses, regulations, and reuse of certifications, which need further research and elaboration, in this paper.  ...  The arising question is: Can variability in functional safety related assets be treated in the same way as for other artifacts like requirements, models, and source code?  ...  works for common artifacts like requirements, system architecture models, source code, tests, and so on.  ... 
doi:10.1145/2491627.2491654 dblp:conf/splc/SchulzeMB13 fatcat:7cp57bxrirenxdbhciuincf3ym

Static Detection of Uninitialized Stack Variables in Binary Code [article]

Behrad Garmany, Martin Stoffel, Robert Gawlik, Thorsten Holz
2020 arXiv   pre-print
Research in recent years proposed detection and prevention techniques tailored to source code.  ...  Recent vulnerability reports show the versatility on how uninitialized memory reads are utilized in practice, especially for memory disclosure and code execution.  ...  On the other hand, only executed paths will be detected and hence the code coverage is typically low. In addition, an appropriate corpus of input data is needed.  ... 
arXiv:2007.02314v1 fatcat:onjuc2bn2rdgpnmbdbc4il5sdi

Automatic and Efficient Variability-Aware Lifting of Functional Programs [article]

Ramy Shahin, Marsha Chechik
2020 arXiv   pre-print
This usually requires a lot of time and effort, and the variability-aware version of the analysis might have new errors/bugs that do not exist in the original one.  ...  Deep lifting, on the other hand, is a program rewriting mechanism where the syntactic constructs of the input program are rewritten into their variability-aware counterparts.  ...  ACKNOWLEDGMENTS We thank anonymous reviewers for their feedback, comments, and suggestions. This work was supported by General Motors and NSERC.  ... 
arXiv:2010.00697v1 fatcat:vwcqbimk7ngipa4qcoox3hbgxy

42 variability bugs in the linux kernel

Iago Abal, Claus Brabrand, Andrzej Wasowski
2014 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14  
Such a collection of bugs is a requirement for goal-oriented research, serving to evaluate tool implementations of feature-sensitive analyses by testing them on real bugs.  ...  However, researchers lack examples of concrete bugs induced by variability, occurring in real large-scale systems.  ...  We thank kernel developers, Jesper Brouer and Matias Bjørling. Julia Lawall and Norber Siegmund provided useful suggestions.  ... 
doi:10.1145/2642937.2642990 dblp:conf/kbse/AbalBW14 fatcat:6kgt7mnl6jhkvcyxqydk3txtzm

POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications [chapter]

Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa
2013 Lecture Notes in Computer Science  
We also propose a novel technique for generating skeleton test code that includes accessor methods and improves the template variable coverage criterion, using a tool that we developed called POGen.  ...  Our experiments show that template variable coverage correlates highly with the capability to detect faults, and that POGen can reduce testing costs. POGen is released as open source software on  ...  Moreover, we evaluated the effectiveness of the template variable coverage and POGen in empirical experiments.  ... 
doi:10.1007/978-3-642-37057-1_25 fatcat:qyang5sthjcxborfrgnt6blag4

Analyzing the Impact of Feature Changes in Linux

Andreas Ziegler, Valentin Rothberg, Daniel Lohmann
2016 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16  
Our findings show that the majority of configuration options only affects few files, while very few options influence almost all files in the code base.  ...  Extensive build and regression tests can catch potential problems in changes before they appear in a stable release.  ...  RELATED WORK Many researchers are working on modelling and analyzing variability, often in the context of the Linux kernel.  ... 
doi:10.1145/2866614.2866618 dblp:conf/vamos/ZieglerRL16 fatcat:hutoxqqcffbsfdiwtp2xjjswsi

Extreme Product Line Engineering: Managing Variability and Traceability via Executable Specifications

Yaser Ghanam, Frank Maurer
2009 2009 Agile Conference  
A case study was used to evaluate the approach, and it provided initial insights on its feasibility and usefulness.  ...  Extreme Programming (XP) has been reported to work well by valuing principles of simplicity, lightweight practices, effective feedback and continuous process and product improvement.  ...  not have a destructive effect on other variants.  ... 
doi:10.1109/agile.2009.12 dblp:conf/agiledc/GhanamM09 fatcat:arl46hxiazc4dcefbmzf65ri5q

An Embedded Reconfigurable IP Core with Variable Grain Logic Cell Architecture

Motoki Amagasaki, Ryoichi Yamaguchi, Masahiro Koga, Masahiro Iida, Toshinori Sueyoshi
2008 International Journal of Reconfigurable Computing  
The key feature of the VGLC architecture is that the variable granularity is a tradeoff between coarse-grained and fine-grained types required for the implementation arithmetic and random logic, respectively  ...  In the present paper, we propose a variable grain logic cell (VGLC) architecture, which consists of a 4-bit ripple carry adder with configuration memory bits and develop a technology mapping tool.  ...  Acknowledgments The present study was supported by the VLSI Design and Education Center (VDEC) at the University of Tokyo in collaboration with Synopsys, Inc., Calif, USA.  ... 
doi:10.1155/2008/180216 fatcat:aso4ztey4rcthizxn6yqs5szkq

Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem

Andrea Arcuri
2009 2009 1st International Symposium on Search Based Software Engineering  
We hence propose a novel framework that is based on a co-evolution of programs and test cases to tackle these difficult problems.  ...  The author is grateful to the following persons (sorted in alphabetic order the ones he did not forget to include):  ...  Individuals are written out by the framework as C Code and compiled with an ARM-Targeted GCC cross-compiler.  ... 
doi:10.1109/ssbse.2009.16 fatcat:ypqz4vfs45er7nlroqkranvrpi

Underdesigned and Opportunistic Computing in Presence of Hardware Variability

Puneet Gupta, Yuvraj Agarwal, Lara Dolecek, Nikil Dutt, Rajesh K. Gupta, Rakesh Kumar, Subhasish Mitra, Alexandru Nicolau, Tajana Simunic Rosing, Mani B. Srivastava, Steven Swanson, Dennis Sylvester
2013 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The envisioned underdesigned and opportunistic computing (UnO) machines face a number of challenges related to the sensing infrastructure and software interfaces that can effectively utilize the sensory  ...  These variations have led to increasing use of overdesign and guardbands in design and test to ensure yield and reliability with respect to a rigid set of datasheet specifications.  ...  Alternate Code Paths One broad class of approaches for coping with hardware variability is for the software to switch to a different code path in anticipation of or in response to a variability event.  ... 
doi:10.1109/tcad.2012.2223467 fatcat:gtncdvvjvvgjth6ihii7y24g54

Variability extraction and modeling for product variants

Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed
2018 Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18  
The Communicated by Prof. results show that the extracted variability information is consistent with the variability in our six case study systems given by their variability models and available product  ...  We applied our variability extraction approach to six case studies and provide a detailed evaluation.  ...  In order to achieve high code coverage of test suits only few product variants need to be tested.  ... 
doi:10.1145/3233027.3236396 dblp:conf/splc/LinsbauerLE18 fatcat:qwlbxjkeh5cxrnbndggzpz6yqm

Variability extraction and modeling for product variants

Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed
2016 Journal of Software and Systems Modeling  
The Communicated by Prof. results show that the extracted variability information is consistent with the variability in our six case study systems given by their variability models and available product  ...  We applied our variability extraction approach to six case studies and provide a detailed evaluation.  ...  In order to achieve high code coverage of test suits only few product variants need to be tested.  ... 
doi:10.1007/s10270-015-0512-y pmid:29070971 pmcid:PMC5633014 fatcat:xumdfjijtncpppejinj2ynbk3i

Scalable Control Architecture for Variable-Rate Turn Compensation

2015 Applied Engineering in Agriculture  
The variable-rate turn compensation test fixture demonstrated that a CAN bus is a suitable protocol for communicating variable-rate data.  ...  A joystick interface was developed to simulate vehicle movements and desired application rates.  ...  This material is based upon work supported by the National Institute of Food and Agriculture, U.S.  ... 
doi:10.13031/aea.31.10848 fatcat:imp4dxqynba7xnjua5mw2o4hla
« Previous Showing results 1 — 15 out of 18,628 results