ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
New Mutants Generation for Testing Java Programs
Computer Networks and Information Technologies - Communications in Computer and Information Science
◽
10.1007/978-3-642-19542-6_50
◽
2011
◽
pp. 290-294
◽
Cited By ~ 1
Author(s):
Kapil Kumar
◽
P. K. Gupta
◽
Roshan Parjapat
Keyword(s):
Java Programs
Download Full-text
Related Documents
Cited By
References
Multilevel Code Cleaning using Root Extract Method for Java Programs
International Journal of Computer Sciences and Engineering
◽
10.26438/ijcse/v6i9.457461
◽
2018
◽
Vol 6
(9)
◽
pp. 457-461
Author(s):
Pooja Kapila
◽
A. Sharma
◽
N. Kaur
Keyword(s):
Root Extract
◽
Java Programs
Download Full-text
A thread monitoring system for multithreaded Java programs
ACM SIGPLAN Notices
◽
10.1145/1149982.1149985
◽
2006
◽
Vol 41
(5)
◽
pp. 21-29
◽
Cited By ~ 5
Author(s):
Sewon Moon
◽
Byeong-Mo Chang
Keyword(s):
Monitoring System
◽
Java Programs
Download Full-text
Verification of MPI Java programs using software model checking
ACM SIGPLAN Notices
◽
10.1145/3016078.2851192
◽
2016
◽
Vol 51
(8)
◽
pp. 1-2
Author(s):
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
◽
Java Programs
Download Full-text
Enabling static analysis for partial java programs
ACM SIGPLAN Notices
◽
10.1145/1449955.1449790
◽
2008
◽
Vol 43
(10)
◽
pp. 313-328
◽
Cited By ~ 10
Author(s):
Barthélémy Dagenais
◽
Laurie Hendren
Keyword(s):
Static Analysis
◽
Java Programs
Download Full-text
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites
2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)
◽
10.1109/icccs52626.2021.9449249
◽
2021
◽
Author(s):
Calanna Salvatore
◽
Andrea Calvagna
◽
Andrea Fornaia
◽
Riccardo Torrisi
◽
Emiliano Tramontana
Keyword(s):
Automatic Generation
◽
Combinatorial Testing
◽
Java Programs
Download Full-text
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions
ACM SIGSOFT Software Engineering Notes
◽
10.1145/2693208.2693245
◽
2015
◽
Vol 40
(1)
◽
pp. 1-5
◽
Cited By ~ 2
Author(s):
Peter Anderson
◽
Nick Vrvilo
◽
Eric Mercer
◽
Vivek Sarkar
Keyword(s):
Java Programs
Download Full-text
Run-time checking of data- and protocol-oriented properties of Java programs
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13
◽
10.1145/2480362.2480656
◽
2013
◽
Cited By ~ 1
Author(s):
Stijn de Gouw
◽
Frank S. de Boer
◽
Einar Broch Johnsen
◽
Peter Y. H. Wong
Keyword(s):
Java Programs
◽
Run Time
Download Full-text
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
Electronic Notes in Theoretical Computer Science
◽
10.1016/j.entcs.2013.09.002
◽
2013
◽
Vol 296
◽
pp. 253-259
◽
Cited By ~ 4
Author(s):
Kari Kähkönen
◽
Olli Saarikivi
◽
Keijo Heljanko
Keyword(s):
Distributed Testing
◽
Testing Tool
◽
Java Programs
Download Full-text
Accelerating Habanero-Java programs with OpenCL generation
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
◽
10.1145/2500828.2500840
◽
2013
◽
Cited By ~ 15
Author(s):
Akihiro Hayashi
◽
Max Grossman
◽
Jisheng Zhao
◽
Jun Shirako
◽
Vivek Sarkar
Keyword(s):
Java Programs
Download Full-text
Verification of MPI Java programs using software model checking
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16
◽
10.1145/2851141.2851192
◽
2016
◽
Cited By ~ 1
Author(s):
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
◽
Java Programs
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close