Mihai Nica

Graham W. Taylor

CoRR, 2023

Differential Equation Scaling Limits of Shaped and Unshaped Neural Networks.

[BibT_eX]

[DOI]

Mufan Bill Li

CoRR, 2023

Diffusion on the Probability Simplex.

[BibT_eX]

[DOI]

CoRR, 2023

Network Degeneracy as an Indicator of Training Performance: Comparing Finite and Infinite Width Angle Predictions.

[BibT_eX]

[DOI]

Cameron Jakub

CoRR, 2023

Dynamic Sparse Training with Structured Sparsity.

[BibT_eX]

[DOI]

CoRR, 2023

Depth Degeneracy in Neural Networks: Vanishing Angles in Fully Connected ReLU Networks on Initialization.

[BibT_eX]

[DOI]

Cameron Jakub

CoRR, 2023

Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

The Tilted Variational Autoencoder: Improving Out-of-Distribution Detection.

[BibT_eX]

[DOI]

Griffin Floto

Stefan Kremer

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

The Neural Covariance SDE: Shaped Infinite Depth-and-Width Networks at Initialization.

[BibT_eX]

[DOI]

Mufan (Bill) Li

Daniel M. Roy

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Exponentially Tilted Gaussian Prior for Variational Autoencoder.

[BibT_eX]

[DOI]

Griffin Floto

Stefan Kremer

José Manuel Gaspar Sánchez

CoRR, 2021

Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review.

[BibT_eX]

[DOI]

Muhammad Rusyadi Ramli

CoRR, 2021

The future is log-Gaussian: ResNets and their infinite-depth-and-width limit at initialization.

[BibT_eX]

[DOI]

Mufan (Bill) Li

Daniel M. Roy

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

2020

A derivative-free method for solving elliptic partial differential equations with deep neural networks.

[BibT_eX]

[DOI]

Jihun Han

Adam R. Stinchcombe

J. Comput. Phys., 2020

Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning.

[BibT_eX]

[DOI]

CoRR, 2020

On Using k-means Clustering for Test Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Finite Depth and Width Corrections to the Neural Tangent Kernel.

[BibT_eX]

[DOI]

Boris Hanin

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Comparing two systematic approaches for testing automated driving functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

2018

Quality assurance methodologies for automated driving.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2018

Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Adapting Unit Tests by Generating Combinatorial Test Data.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Empirical study of correlation between mutation score and model inference based test suite adequacy assessment.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015

Optimal Strategy in "Guess Who?".

[BibT_eX]

[DOI]

CoRR, 2015

Analyzing the reduction of test suite redundancy.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2013

On the use of mutations and testing for debugging.

[BibT_eX]

[DOI]

Simona Nica

Softw. Pract. Exp., 2013

2012

Automated debugging based on a constraint model of the program and a test case.

[BibT_eX]

[DOI]

Iulia Moraru

J. Log. Algebraic Methods Program., 2012

2011

Debugging and test case generation using constraints and mutations.

[BibT_eX]

[DOI]

Simona Nica

Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems, 2011

Program Debugging Using Constraints - Is it Feasible?

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

2010

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

[BibT_eX]

[DOI]

Simona Nica

Proceedings of the Testing, 2010

Generating Distinguishing Tests Using the Minion Constraint Solver.

[BibT_eX]

[DOI]

Bernhard K. Aichernig

Proceedings of the Third International Conference on Software Testing, 2010

2009

Recommending Effort Estimation Methods for Software Project Management.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2009

2008

On the Compilation of Programs into their Equivalent Constraint Representation.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2008

A Constraint Model for Automated Deployment of Automotive Control Software.

[BibT_eX]

Bernhard Peischl

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

From constraint representations of sequential code and program annotations to their use in debugging.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Converting Programs into Constraint Satisfaction Problems.

[BibT_eX]

[DOI]