國立虎尾科技大學 |

Testing software and systems = 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Testing software and systems/ edited by Héctor D. Menéndez ... [et al.].
其他題名:	36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /
其他題名:	ICTSS 2024
其他作者:	Menéndez, Héctor D.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xiii, 350 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computer Science Logic and Foundations of Programming. -
電子資源:	https://doi.org/10.1007/978-3-031-80889-0
ISBN:	9783031808890

Testing software and systems = 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /
Testing software and systems36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /[electronic resource] :ICTSS 2024edited by Héctor D. Menéndez ... [et al.]. - Cham :Springer Nature Switzerland :2025. - xiii, 350 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,153830302-9743 ;. - Lecture notes in computer science ;6140..

Best Paper Award. -- Estimating Combinatorial t-way Coverage based on Matrix Complexity Metrics. -- Industry and Challenge Tracks. -- Enhancing RL Safety with Counterfactual LLM Reasoning. -- GoNoGo: An Efficient LLM-based Multi-Agent System for Streamlining Automotive Software Release Decision-Making. -- Test Prioritization based on the Coverage of Recently Modified Source Code: An Industrial Case Study. -- On the variations of ChatGPT's response quality for generating source code across programming languages. -- Reevaluating the small-scope testing hypothesis of answer set programs. -- Advancing Code Vulnerability Detection. -- Enhancing Vulnerability Detection with Domain Knowledge: a Comparison of Different Mechanisms. -- LLMs Can Check Their Own Results to Mitigate Hallucinations in Traffic Understanding Tasks. -- Enhanced Graph Neural Networks for Vulnerability Detection in Java via Advanced Subgraph Construction. -- Short Papers. -- Mutating Clingo's AST with clingabomino. -- Towards a Knowledge Graph based approach for vulnerable code weaknesses identification. -- Tutorial. -- Automatic Summarization Evaluation: Methods and Practices. -- Journal First. -- Summary of ObfSec: Measuring the security of obfuscations from a testing perspective. -- Health Track. -- A trusted friend in the middle of the night: End-user perspectives on Artificial Intelligence informed software systems as a decision-making aid for patients. -- Binary Classification Optimisation with AI-Generated Data. -- Responsible MLOps Design Methodology for an Auditing System for AI-based Clinical Decision Support Systems. -- Innovations in Software Testing and AI Compliance. -- Software System Testing assisted by Large Language Models: An Exploratory Study. -- Continuous Auditing Based Conformity Assessment for AI Systems: A Proof-of-Concept Evaluation. -- Improving Software Testing Reliability. -- Checking Test Suite Efficacy Through Dual-Channel Techniques. -- Extending a Flakiness Score for System-Level Tests. -- Advancements in Testing Methodologies. -- Autonomous Driving System Testing: Traffic Density Does Matter. -- Annotation-based input modeling for combinatorial testing.

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.

ISBN: 9783031808890

Standard No.: 10.1007/978-3-031-80889-0doiSubjects--Topical Terms:

1365757
Computer Science Logic and Foundations of Programming.

LC Class. No.: QA76.76.T48 / I38 2024

Dewey Class. No.: 005.1

Testing software and systems = 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /
LDR:04072nam a2200349 a 4500 001 1160756
003 DE-He213
005 20250124120914.0
006 m d
007 cr nn 008maaau
008 251029s2025 sz s 0 eng d
020 $a 9783031808890 $q (electronic bk.)
020 $a 9783031808883 $q (paper)
024 7 $a 10.1007/978-3-031-80889-0 $2 doi
035 $a 978-3-031-80889-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.T48 $b I38 2024
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.76.T48 $b I17 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Testing software and systems $h [electronic resource] : $b 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings / $c edited by Héctor D. Menéndez ... [et al.].
246 3 $a ICTSS 2024
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xiii, 350 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 15383
505 0 $a Best Paper Award. -- Estimating Combinatorial t-way Coverage based on Matrix Complexity Metrics. -- Industry and Challenge Tracks. -- Enhancing RL Safety with Counterfactual LLM Reasoning. -- GoNoGo: An Efficient LLM-based Multi-Agent System for Streamlining Automotive Software Release Decision-Making. -- Test Prioritization based on the Coverage of Recently Modified Source Code: An Industrial Case Study. -- On the variations of ChatGPT's response quality for generating source code across programming languages. -- Reevaluating the small-scope testing hypothesis of answer set programs. -- Advancing Code Vulnerability Detection. -- Enhancing Vulnerability Detection with Domain Knowledge: a Comparison of Different Mechanisms. -- LLMs Can Check Their Own Results to Mitigate Hallucinations in Traffic Understanding Tasks. -- Enhanced Graph Neural Networks for Vulnerability Detection in Java via Advanced Subgraph Construction. -- Short Papers. -- Mutating Clingo's AST with clingabomino. -- Towards a Knowledge Graph based approach for vulnerable code weaknesses identification. -- Tutorial. -- Automatic Summarization Evaluation: Methods and Practices. -- Journal First. -- Summary of ObfSec: Measuring the security of obfuscations from a testing perspective. -- Health Track. -- A trusted friend in the middle of the night: End-user perspectives on Artificial Intelligence informed software systems as a decision-making aid for patients. -- Binary Classification Optimisation with AI-Generated Data. -- Responsible MLOps Design Methodology for an Auditing System for AI-based Clinical Decision Support Systems. -- Innovations in Software Testing and AI Compliance. -- Software System Testing assisted by Large Language Models: An Exploratory Study. -- Continuous Auditing Based Conformity Assessment for AI Systems: A Proof-of-Concept Evaluation. -- Improving Software Testing Reliability. -- Checking Test Suite Efficacy Through Dual-Channel Techniques. -- Extending a Flakiness Score for System-Level Tests. -- Advancements in Testing Methodologies. -- Autonomous Driving System Testing: Traffic Density Does Matter. -- Annotation-based input modeling for combinatorial testing.
520 $a This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Computer Communication Networks. $3 669310
650 1 4 $a Software Engineering. $3 669632
650 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Computer software $x Testing $v Congresses. $3 674778 $3 727845
700 1 $a Menéndez, Héctor D. $3 1487767
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-80889-0
950 $a Computer Science (SpringerNature-11645)