Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatic Re-engineering of Software Using Genetic Programming
Automatic Re-engineering of Software Using Genetic Programming
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Genetic Programming and Evolvable Machines
A Framework for Source Code Search Using Program Patterns
IEEE Transactions on Software Engineering
Dynamically discovering likely program invariants
Dynamically discovering likely program invariants
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Evolving Transformation Sequences using Genetic Algorithms
SCAM '04 Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
Designing runtime variation points in product line architectures: three cases
Science of Computer Programming - Special issue: Software variability management
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
On the Automatic Modularization of Software Systems Using the Bunch Tool
IEEE Transactions on Software Engineering
Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series)
Software Measurement and Estimation: A Practical Approach (Quantitative Software Engineering Series)
Managing Variability for Software Product Lines: Working with Variability Mechanisms
SPLC '06 Proceedings of the 10th International on Software Product Line Conference
Search Based Approaches to Component Selection and Prioritization for the Next Release Problem
ICSM '06 Proceedings of the 22nd IEEE International Conference on Software Maintenance
Requirements Engineering
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Search Based Software Engineering for Program Comprehension
ICPC '07 Proceedings of the 15th IEEE International Conference on Program Comprehension
A systematic approach for solving the wicked problem of software release planning
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Bi-objective release planning for evolving software systems
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Strongly typed genetic programming
Evolutionary Computation
Searching for resource-efficient programs: low-power pseudorandom number generators
Proceedings of the 10th annual conference on Genetic and evolutionary computation
GP on SPMD parallel graphics hardware for mega Bioinformatics data mining
Soft Computing - A Fusion of Foundations, Methodologies and Applications - Special issue (1143 - 1198) " Distributed Bioinspired Algorithms"; Guest editors: F. Fernández de Vega, E. Cantú-Paz
Search Based Requirements Optimisation: Existing Work and Challenges
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Open Problems in Testability Transformation
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
TAIC-PART '08 Proceedings of the Testing: Academic & Industrial Conference - Practice and Research Techniques
Multi-objective Improvement of Software Using Co-evolution and Smart Seeding
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
A systematic review of search-based testing for non-functional system properties
Information and Software Technology
Proceedings of the 4th ACM European conference on Computer systems
Automatically finding patches using genetic programming
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Evo_indent interactive evolution of GNU indent options
Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference: Late Breaking Papers
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Requirements Engineering - Special Issue on RE'08: Requirements Engineering for a Sustainable World; Guest Editor: T. Tamai
Self-adaptive focusing of evolutionary effort in hierarchical genetic programming
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Automated patching techniques: the fix is in: technical perspective
Communications of the ACM
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
IEEE Transactions on Software Engineering
Today/future importance analysis
Proceedings of the 12th annual conference on Genetic and evolutionary computation
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
A study of the uniqueness of source code
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Search-based Prediction of Fault-slip-through in Large Software Projects
SSBSE '10 Proceedings of the 2nd International Symposium on Search Based Software Engineering
IEEE Transactions on Software Engineering
Interactive, Evolutionary Search in Upstream Object-Oriented Class Design
IEEE Transactions on Software Engineering
FloPSy: search-based floating point constraint solving for symbolic execution
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Expert Systems with Applications: An International Journal
Code-Imp: a tool for automated search-based refactoring
Proceedings of the 4th Workshop on Refactoring Tools
Symbolic execution for software testing in practice: preliminary assessment
Proceedings of the 33rd International Conference on Software Engineering
Managing performance vs. accuracy trade-offs with loop perforation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Strong higher order mutation-based test data generation
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
EvoSuite: automatic test suite generation for object-oriented software
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Ten years of search based software engineering: a bibliometric analysis
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Highly scalable multi objective test suite minimisation using graphics cards
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
GenProg: A Generic Method for Automatic Software Repair
IEEE Transactions on Software Engineering
Search based software engineering: techniques, taxonomy, tutorial
Empirical Software Engineering and Verification
Automated web application testing using search based software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Simulating and optimising design decisions in quantitative goal models
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
IEEE Transactions on Evolutionary Computation
The Automatic Acquisition, Evolution and Reuse of Modules in Cartesian Genetic Programming
IEEE Transactions on Evolutionary Computation
Flight of the FINCH Through the Java Wilderness
IEEE Transactions on Evolutionary Computation
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Survey: A survey on search-based software design
Computer Science Review
Evolutionary Improvement of Programs
IEEE Transactions on Evolutionary Computation
A human study of patch maintainability
Proceedings of the 2012 International Symposium on Software Testing and Analysis
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each
Proceedings of the 34th International Conference on Software Engineering
On the naturalness of software
Proceedings of the 34th International Conference on Software Engineering
Dynamic adaptive search based software engineering
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
AUSTIN: An open source tool for search based software testing of C programs
Information and Software Technology
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software engineering: an ideal set of challenges for evolutionary computation
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Search methodologies in real-world software engineering
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Safe software updates via multi-version execution
Proceedings of the 2013 International Conference on Software Engineering
Post-compiler software optimization for reducing energy
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Adaptation space exploration for service-oriented applications
Science of Computer Programming
Hi-index | 0.00 |
Optimising programs for non-functional properties such as speed, size, throughput, power consumption and bandwidth can be demanding; pity the poor programmer who is asked to cater for them all at once! We set out an alternate vision for a new kind of software development environment inspired by recent results from Search Based Software Engineering (SBSE). Given an input program that satisfies the functional requirements, the proposed programming environment will automatically generate a set of candidate program implementations, all of which share functionality, but each of which differ in their non-functional trade offs. The software designer navigates this diverse Pareto surface of candidate implementations, gaining insight into the trade offs and selecting solutions for different platforms and environments, thereby stretching beyond the reach of current compiler technologies. Rather than having to focus on the details required to manage complex, inter-related and conflicting, non-functional trade offs, the designer is thus freed to explore, to understand, to control and to decide rather than to construct.