Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1st International Workshop on CrowdSourcing in Software Engineering : proceedings : June 2, 2014, Hyderabad, India
| 1st International Workshop on CrowdSourcing in Software Engineering : proceedings : June 2, 2014, Hyderabad, India |
| Autore | Fraser Gordon |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (18 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2857-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
CSI-SE 2014
CrowdSourcing in Software Engineering 2014 Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering |
| Record Nr. | UNINA-9910376392203321 |
Fraser Gordon
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISSTA '23 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis : July 17-21, 2023 Seattle, WA, USA / / edited by René Just and Gordon Fraser
| ISSTA '23 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis : July 17-21, 2023 Seattle, WA, USA / / edited by René Just and Gordon Fraser |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2023 |
| Descrizione fisica | 1 online resource (1554 pages) |
| Disciplina | 005 |
| Collana | ACM Conferences |
| Soggetto topico |
Computer software - Security measures
Computer software - Testing Computer software - Verification |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910735596403321 |
| New York, NY : , : Association for Computing Machinery, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 11th International Workshop on Automation of Software Test / / program chairs, Christof Budnik, Gordon Fraser, Francesca Lonetti
| Proceedings of the 11th International Workshop on Automation of Software Test / / program chairs, Christof Budnik, Gordon Fraser, Francesca Lonetti |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (105 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910136870203321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 11th International Workshop on Automation of Software Test / / program chairs, Christof Budnik, Gordon Fraser, Francesca Lonetti
| Proceedings of the 11th International Workshop on Automation of Software Test / / program chairs, Christof Budnik, Gordon Fraser, Francesca Lonetti |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (105 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279618303316 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering / / Huchard, Marianne, Christian Kästner, Gordon Fraser ; Institute of Electrical and Electronics Engineers, contributor
| Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering / / Huchard, Marianne, Christian Kästner, Gordon Fraser ; Institute of Electrical and Electronics Engineers, contributor |
| Autore | Huchard Marianne |
| Pubbl/distr/stampa | New York, NY : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.101512 |
| Soggetto topico | Software engineering |
| ISBN | 1-72814-376-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2018 33rd IEEE/ACM International Conference on Automated Software Engineering |
| Record Nr. | UNINA-9910375693403321 |
|
Huchard Marianne
|
||
| New York, NY : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering / / Huchard, Marianne, Christian Kästner, Gordon Fraser ; Institute of Electrical and Electronics Engineers, contributor
| Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering / / Huchard, Marianne, Christian Kästner, Gordon Fraser ; Institute of Electrical and Electronics Engineers, contributor |
| Autore | Huchard Marianne |
| Pubbl/distr/stampa | New York, NY : , : IEEE, , 2018 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.101512 |
| Soggetto topico | Software engineering |
| ISBN | 1-72814-376-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2018 33rd IEEE/ACM International Conference on Automated Software Engineering |
| Record Nr. | UNISA-996580851503316 |
|
Huchard Marianne
|
||
| New York, NY : , : IEEE, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Search Based Software Engineering [[electronic resource] ] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / / edited by Gordon Fraser, Jerffeson Teixeira de Souza
| Search Based Software Engineering [[electronic resource] ] : Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / / edited by Gordon Fraser, Jerffeson Teixeira de Souza |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVI, 293 p. 80 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Computer programming Computers Algorithms Pattern recognition Software Engineering Operating Systems Programming Techniques Computation by Abstract Devices Algorithm Analysis and Problem Complexity Pattern Recognition |
| ISBN | 3-642-33119-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances 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. |
| Record Nr. | UNISA-996465582003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing: Academic and Industrial Conference - Practice and Research Techniques [[electronic resource] ] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser
| Testing: Academic and Industrial Conference - Practice and Research Techniques [[electronic resource] ] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 219 p. 82 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38878-1
9786613566706 3-642-15585-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Automatic Testing and Fixing for Eiffel -- Testing and Proving, Hand-in-Hand -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang -- Bad Pairs in Software Testing -- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs -- Filtering Test Models to Support Incremental Testing -- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? -- Linguistic Security Testing for Text Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation -- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models -- A Generic Approach to Run Mutation Analysis -- Challenge Paper -- The Practical Assessment of Test Sets with Inductive Inference Techniques -- Experience Reports -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software -- Fast Abstracts -- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved Testing through Refactoring: Experience from the ProTest Project -- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements -- A New Approach for Software Testability -- DOM Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface. |
| Record Nr. | UNISA-996466274603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser
| Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 219 p. 82 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38878-1
9786613566706 3-642-15585-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Automatic Testing and Fixing for Eiffel -- Testing and Proving, Hand-in-Hand -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang -- Bad Pairs in Software Testing -- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs -- Filtering Test Models to Support Incremental Testing -- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? -- Linguistic Security Testing for Text Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation -- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models -- A Generic Approach to Run Mutation Analysis -- Challenge Paper -- The Practical Assessment of Test Sets with Inductive Inference Techniques -- Experience Reports -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software -- Fast Abstracts -- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved Testing through Refactoring: Experience from the ProTest Project -- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements -- A New Approach for Software Testability -- DOM Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface. |
| Record Nr. | UNINA-9910484999203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini
| Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (174 p. 60 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Programming Techniques Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN |
1-280-38754-8
9786613565464 3-642-13977-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback -- Myths in Software Engineering: From the Other Side -- Specifications from Testing -- QuickSpec: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases -- Proof Process Evaluation with Mutation Analysis -- Test Generation Using Proof Techniques -- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay -- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces -- Combining Static Analysis and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding -- Theorem Proving and Testing -- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications -- Abstraction -- Syntactic Abstraction of B Models to Generate Tests -- Building a Test-Ready Abstraction of a Behavioral Model Using CLP. |
| Record Nr. | UNISA-996465588703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
