Filters








24 Hits in 5.5 sec

From daikon to agitator

Marat Boshernitsan, Roongko Doong, Alberto Savoia
2006 Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06  
Software agitation is a testing technique that combines the results of research in test-input generation and dynamic invariant detection.  ...  The slow adoption of developer testing is primarily due to the lack of tools that automate some of the more tedious and time-consuming aspects of this practice.  ...  CONCLUSION Perhaps one of the most satisfying conclusions that we can draw from this paper is that academic research in software testing can and does have relevance to industrial applications.  ... 
doi:10.1145/1146238.1146258 dblp:conf/issta/BoshernitsanDS06 fatcat:dmbibio3qbgzrkhr4wbfhcd2la

From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis

Mark Harman, Peter O'Hearn
2018 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM)  
The paper identifies open problems that have yet to receive significant attention from the scientific community, yet which have potential for profound real world impact, formulating these as research questions  ...  that, we believe, are ripe for exploration and that would make excellent topics for research projects.  ...  Our aim is to move the debate beyond relatively unhelpful observations we have typically encountered in, for example, conference panels on industry-academia collaboration.  ... 
doi:10.1109/scam.2018.00009 dblp:conf/scam/HarmanO18 fatcat:qeejlel3yjg4vbadi4lva6qq3q

Software Testing Research: Achievements, Challenges, Dreams

Antonia Bertolino
2007 Future of Software Engineering (FOSE '07)  
What is dismaying is that until nowadays all such effort has produced limited impact in industry, where the test generation activity remains largely manual (as reported for instance at ISSTA 2002 Panel  ...  the loci where to meet to discuss the latest results, such as the ACM International Symposium on Software Testing and Analysis (ISSTA), or the IFIP International Conference on the Testing of Communicating  ... 
doi:10.1109/fose.2007.25 dblp:conf/icse/Bertolino07 fatcat:obusc4t4wzcurj3alzij6gzrfe

On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study [article]

Eman Abdullah AlOmar and Mohamed Wiem Mkaouer and Christian Newman and Ali Ouni
2021 arXiv   pre-print
The idea is to reorganize variables, classes and methods to facilitate their future adaptations and comprehension.  ...  Conclusion: Our taxonomy reveals that there exist some types of refactoring operations whose behavior preservation is under-researched.  ...  . • The study is a positioning paper, abstract, editorial, keynote, tutorial, or panel discussions  ... 
arXiv:2106.13900v2 fatcat:xr7hr7ddzbchlcskg5lre4afoa

General Chairman's Message

1985 22nd ACM/IEEE Design Automation Conference  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/dac.1985.1585898 fatcat:qcddxeqjfrgcnkywt4dlol5s2u

General Chairman's Message

2004 PLANS 2004 Position Location and Navigation Symposium (IEEE Cat No 04CH37556) PLANS-04  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/plans.2004.1308961 fatcat:jrv2qudaw5e4fm7vtyfx4clip4

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/milcom.1986.4805639 fatcat:yv3yt6hivvg4bjtj5ftdxp7dke

General Chairman's Message

1983 1983 IEEE Symposium on Security and Privacy  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/sp.1983.10000 fatcat:gwmwca6z6vcs7oo44rri25ie4i

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/milcom.1986.4805808 fatcat:45cvhs7md5gupdkd4rckkqy3qm

General Chairman's Message

1986 23rd ACM/IEEE Design Automation Conference  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/dac.1986.1586054 fatcat:4wqbpjk4vzfi5hiqypgttzltjq

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/milcom.1986.4805724 fatcat:ywopnvuobzd7nfg5vqbicn6wcy

General Chairman's Message

2006 2006 Proceedings of the First Mobile Computing and Wireless Communication International Conference  
Acknowledgments We gratefully acknowledge Ricky Butler for providing helpful insights and for his prompt answers to all our questions about the autopilot mode control panel.  ...  Acknowledgements The research reported in this paper has been supported by UK Engineering and Physical Sciences Research Council grants GRlJ07686, GRlK55042 and Acknowledgments The authors would like  ...  The goals of the research presented here are to investigate this disparity between research and industry, and to determine what steps might be taken to increase the benefits realized by industry from formal  ... 
doi:10.1109/mcwc.2006.4375180 fatcat:c4cqrusqb5bcrczqa2fu77zgfu

How different are different diff algorithms in Git?

Yusuf Sulistyo Nugroho, Hideaki Hata, Kenichi Matsumoto
2019 Empirical Software Engineering  
Git, a version control system, has a diff utility and users can select algorithms of diff from the default algorithm Myers to the advanced Histogram algorithm.  ...  Automatic identification of the differences between two versions of a file is a common and basic task in several applications of mining code repositories.  ...  In Section 9, we discuss the implication of different diff algorithms and provide the example, and discuss their threats to validity, and finally we conclude in Section 10.  ... 
doi:10.1007/s10664-019-09772-z fatcat:26anmxng2rejleexdzc35vi6em

A systematic literature review on methods that handle multiple quality attributes in architecture-based self-adaptive systems

Sara Mahdavi-Hezavehi, Vinicius H.S. Durelli, Danny Weyns, Paris Avgeriou
2017 Information and Software Technology  
To summarize, further research is required to improve existing methods performing tradeoff analysis and preemption, and in particular, new methods may be proposed to make use of models to handle multiple  ...  A B S T R A C T Context Handling multiple quality attributes (QAs) in the domain of self-adaptive systems is an understudied research area.  ...  The study is an editorial, position paper, abstract, keynote, opinion, tutorial summary, panel discussion, or technical report. 2. The study is not written in English.  ... 
doi:10.1016/j.infsof.2017.03.013 fatcat:3yrrvx524newdk47srov63slai

How Different Are Different diff Algorithms in Git? [article]

Yusuf Sulistyo Nugroho, Hideaki Hata, Kenichi Matsumoto
2019 arXiv   pre-print
Git, a version control system, has a diff utility and users can select algorithms of diff from the default algorithm Myers to the advanced Histogram algorithm.  ...  Automatic identification of the differences between two versions of a file is a common and basic task in several applications of mining code repositories.  ...  In Section 9, we discuss the implication of different diff algorithms and provide the example, and discuss their threats to validity, and finally we conclude in Section 10.  ... 
arXiv:1902.02467v3 fatcat:yc7oe7ypkjfwdiedkmyn32bqcy
« Previous Showing results 1 — 15 out of 24 results