- Large Language Models for Compiler Optimization
2023/09/11 by Chris Cummins, Volker Seeker, Cummins, Chris +20 · 2 voices · 22 citations
Computer Science · #Artificial intelligence #Code (set theory) #Code generation #Compiler #Computer science #Language model #Machine learning #Operating system #Optimizing compiler #Parallel Computing and Optimization Techniques #Parallel computing #Program optimization #Programming language #Scratch #Set (abstract data type) #Software Engineering Research #Software Testing and Debugging Techniques #Suite #Test case #Test suite #Transformer #cs.AI #cs.CL #cs.LG #cs.PL
- Compiler fuzzing: how much does it matter?
2019/02/25 by Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson +1 · 3 voices · 5 citations
Computer Science · #Code (set theory) #Compiler #Computer science #Fuzz testing #Operating system #Programming language #Regression analysis #Regression testing #Software #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Software bug #Software development #Suite #Test case #Test suite
- Test-driven simulation modelling: A case study using agent-based maritime search-operation simulation
2016/04/09 by Bhakti Stephan Onggo, Mumtaz Karatas, Mümtaz Karataş · 1 citation
Computer Science · Decision Sciences · Engineering · #Computer science #Engineering #Industrial engineering #Machine learning #Modeling and simulation #Multi-Agent Systems and Negotiation #Simulation #Simulation Techniques and Applications #Simulation modeling #Simulation software #Software #Test (biology) #Test case #Transportation and Mobility Innovations #Verification and validation of computer simulation models
- Automated Web Service Change Management AWSCM - A Tool
2014/12/01 by Animesh Chaturvedi · 1 citation
Computer Science · #Software System Performance and Reliability #Service-Oriented Architecture and Web Services #Software Testing and Debugging Techniques #Computer science #Web service #Change impact analysis #Suite #WS-I Basic Profile #Software engineering #Test suite #Service (business) #Service-oriented architecture #World Wide Web #Database #Test case #Programming language #Software #Regression analysis #Web development #Web application security
- A tool supported approach to perform efficient regression testing of web services
2013/09/01 by Animesh Chaturvedi, Atul Gupta · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software System Performance and Reliability #Software Reliability and Analysis Research #Computer science #Web service #WS-I Basic Profile #Regression testing #Test suite #WS-Policy #Database #World Wide Web #Information retrieval #Regression analysis #Test case #Programming language #Machine learning #Software #Web application security #Web development #Software system
- Theoretical and empirical convergence results for additive congruential random number generators
2009/10/14 by Roy S. Wikramaratna, R. S. Wikramaratna · 2 citations
Computer Science · Mathematics · #Algorithm #Arithmetic #Chaos-based Image/Signal Encryption #Combinatorics #Computer science #Convergence (economics) #Cryptographic Implementations and Security #Cryptography and Residue Arithmetic #Discrete mathematics #Integer (computer science) #Limit (mathematics) #Mathematical analysis #Mathematics #Pseudorandom number generator #Random number generation #Regression analysis #Sequence (biology) #Statistics #Test case #Test suite
- On the generation of high-quality random numbers by two-dimensional cellular automata
2000/01/01 by Mathieu Perrenoud, Moshe Sipper, Marco Tomassini · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · Mathematics · #Cellular Automata and Applications #Algorithms and Data Compression #DNA and Biological Computing #Randomness #Random number generation #Cellular automaton #Computer science #Test suite #Suite #Evolutionary algorithm #Algorithm #Quality (philosophy) #Theoretical computer science #Parallel computing #Test case #Mathematics #Artificial intelligence #Machine learning #Statistics
- SELECT—a formal system for testing and debugging programs by symbolic execution
1975/04/01 by Robert S. Boyer, B. Elspas, Bernard Elspas +2 · 3 citations
Computer Science · #Algorithmic program debugging #Assertion #Computer science #Concolic testing #Debugging #Executable #Formal Methods in Verification #Logic, programming, and type systems #Path (computing) #Programming language #Software #Software Testing and Debugging Techniques #Symbolic execution #Test case #Test suite