Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: A Refinement Method for Java Programs

Treffer 41 - 60 von 294

41


Nishioka,Hiroaki ; Nishioka,Hiroaki

Zu den Favoriten
42

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
Chang, Jianming ; Shi, Jieke ; Lyu, Yunbo ; et al.

Software Engineering
Report
Zu den Favoriten
43

Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
Luo, Wenqiang ; Keung, Jacky Wai ; Yang, Boyang ; et al.

Software Engineering
Report
Zu den Favoriten
44

Code generation for event-B
Rivera Zúñiga, Victor Alfonso ; Cataño Collazos, Nestor ; DigitUMa
urn:tid:101383282

Refinement calculus Event-B Design-by-contract Java JML EventB2Java …
Zu den Favoriten
45

Universal closed-tube barcoding for monitoring the shark and ray trade in megadiverse conservation hotspots
Prasetyo, Andhika P. ; Cusa, Marine ; Murray, Joanna M. ; et al.
In iScience 21 July 2023 26(7)

Fachzeitschrift
Zu den Favoriten
46

Program Synthesis by Type-Guided Abstraction Refinement
Guo, Zheng ; James, Michael ; Justo, David ; et al.

Computer Science - Progr...
Report
Zu den Favoriten
47

Model Checking Multithreaded Programs with Asynchronous Atomic Methods.
Ball, Thomas ; Jones, Robert B. ; Sen, Koushik ; et al.
Computer Aided Verification (9783540374060); 2006, p300-314, 15p

Buch
Zu den Favoriten
48

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.
de Carvalho Gomes, Pedro ; Picoco, Attilio ; Gurov, Dilian
Fundamental Approaches to Software Engineering (9783642548031); 2014, p215-229, 15p

Buch
Zu den Favoriten
49

Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-Driven Commit Untangling
Zhu, Kangchen ; Tian, Zhiliang ; Wang, Shangwen ; et al.

Software Engineering
Report
Zu den Favoriten
50

Finer is better: Abstraction Refinement for Rewriting Approximations
Boichut, Yohan ; Courbis, Roméo ; Héam, Pierre-Cyrille ; et al.
RTA'08. :48-62

Hagenberg, Austria [INFO.INFO-SE]Computer S... Software Engineering [cs... [INFO.INFO-MO]Computer S... Modeling and Simulation [INFO.INFO-CR]Computer S... …
Konferenz
Zu den Favoriten
51

PDLogger: Automated Logging Framework for Practical Software Development
Duan, Shengcheng ; Xu, Yihua ; Zhang, Sheng ; et al.

Software Engineering D.2
Report
Zu den Favoriten
52

Abstraction Refinement Guided by a Learnt Probabilistic Model
Grigore, Radu ; Yang, Hongseok ; Grigore, Radu ; et al.

E-Ressource
Zu den Favoriten
53

DAJUST: a suite of computer programs for pattern matching, space-group determination and intensity extraction from powder diffraction data.
Vallcorba, Oriol ; Rius, Jordi ; Frontera, Carlos ; et al.
Journal of Applied Crystallography; Aug2012, Vol. 45 Issue 4, p844-848, 5p

PATTERN recognition syst... SPACE groups EXTRACTION (Chemistry) COMPUTER software GRAPHICAL user interface... JAVA programming languag... …
Fachzeitschrift
Zu den Favoriten
54

Data refinement based testing
Faitelson, David ; Tyszberowicz, Shmuel
International Journal of System Assurance Engineering and Management. June 2011 2(2):144-154

Fachzeitschrift
Zu den Favoriten
55

A type safe DOM API
THIEMANN, Peter
Database programming languages (10th International symposium, DBPL 2005)Lecture notes in computer science. :169-183

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
56

Madura: A Language for Learning Vision Programs from Examples
Newman, Rhys A.
Journal of Mathematical Imaging and Vision. September 1999 11(1):65-90

Fachzeitschrift
Zu den Favoriten
57

Towards automated protein structure determination: BnP, the SnB-PHASES interface
WEEKS, C. M ; BLESSING, R. H ; MILLER, R ; et al.
Macromolecular crystallographyZeitschrift für Kristallographie. 217(12):686-693

Crystallography Cristallographie cristal... Geology Géologie Metallurgy, welding Métallurgie, soudage …
Fachzeitschrift
Zu den Favoriten
58

Abstraction refinement guided by a learnt probabilistic model
Grigore, R ; Yang, H
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. :485-498

Software Engineering (cs... FOS: Computer and inform... Computer Science - Softw... Computer Science - Progr... QA76.76 D.2.4 …
Fachzeitschrift
Zu den Favoriten
59

Verifying Correct Usage of Context-Free API Protocols (Extended Version)
Ferles, Kostas ; Stephens, Jon ; Dillig, Isil

Computer Science - Progr...
Report
Zu den Favoriten
60

Property Types for Mutable Data Structures in Java
Bachmeier, Joshua ; Beckert, Bernhard

ddc:004 DATA processing & comput... info:eu-repo/classificat...
Dissertation
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter