000 | 04959nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-642-33119-0 | ||
003 | DE-He213 | ||
005 | 20240730190054.0 | ||
007 | cr nn 008mamaa | ||
008 | 120907s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642331190 _9978-3-642-33119-0 |
||
024 | 7 |
_a10.1007/978-3-642-33119-0 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aSearch Based Software Engineering _h[electronic resource] : _bFourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / _cedited by Gordon Fraser, Jerffeson Teixeira de Souza. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXVI, 293 p. 80 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7515 |
|
505 | 0 | _aAdvances in Evolutionary Multi-objective Optimization -- SBSE Meets Software Maintenance: Achievements and Open Problems -- Tutorial: High Performance SBSE Using Commodity Graphics Cards -- Evolving Robust Networks for Systems-of-Systems -- On the Application of SAT Solvers to the Test Suite Minimization Problem -- Evaluating the Importance of Randomness in Search-Based Software Engineering -- Putting the Developer in-the-Loop: An Interactive GA for Software Re-modularization -- Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern -- Optimised Realistic Test Input Generation Using Web Services -- Improving Software Security Using Search-Based Refactoring -- Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems -- Testing of Concurrent Programs Using Genetic Algorithms -- Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study -- Searching for Pareto-optimal Randomised Algorithms. -- Automatically RELAXing a Goal Model to Cope with Uncertainty -- Boosting Search Based Testing by Using Constraint Based Testing -- Domain-Driven Reduction Optimization of Recovered Business Processes -- Evolving Human Competitive Spectra-Based Fault Localisation Techniques -- Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned -- Problem-Specific Search Operators for Metaheuristic Software Architecture Design -- A Concept for an Interactive Search-Based Software Testing System -- A Search-Based Framework for Failure Reproduction -- Evolutionary Testing of PHP Web Applications with WETT. | |
520 | _aThis book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE International Conference on Software Maintenance. The 15 revised full papers, 3 revised short papers, and 2 papers of the graduate track presented together with 2 keynote talks and 1 tutorial paper were carefully reviewed and selected from 38 initial submissions. Search-based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance. The papers present current research in all areas of Search Based Software Engineering, including theoretical work, research on SBSE applications, empirical studies, and reports on industrial experience. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aOperating systems (Computers). _95329 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 0 |
_aPattern recognition systems. _93953 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aOperating Systems. _937074 |
650 | 2 | 4 |
_aProgramming Techniques. _9141220 |
650 | 2 | 4 |
_aTheory of Computation. _9141221 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
650 | 2 | 4 |
_aAutomated Pattern Recognition. _931568 |
700 | 1 |
_aFraser, Gordon. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9141222 |
|
700 | 1 |
_aTeixeira de Souza, Jerffeson. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9141223 |
|
710 | 2 |
_aSpringerLink (Online service) _9141224 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642331183 |
776 | 0 | 8 |
_iPrinted edition: _z9783642331206 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7515 _9141225 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-33119-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c93078 _d93078 |