Trustbut on Maven: A No-Op JUnit 6 Test Gets a PASS (2026)
Trustbut 0.7.0 on Maven: a no-op JUnit 6 test earned PASS, while adding no test earned WARN. Ten receipt cases, with the limits of what they prove.
Read more
AI-assisted Java development · Source, checks, and evidence
AI for Java Developers. Start with a runnable case.
Use coding agents with clear requirements and checks you can inspect. Work through a Spring Boot case study, download its source and run records, and learn how to verify tests, HTTP security, and database migrations.
SOURCE INCLUDED · SYNTHETIC TEACHING PROJECT
One project. Two Spring Boot versions. Inspectable results.
Follow the same contracts from Boot 3.5.7 to 4.0.0: a POST rejected for a missing CSRF token, a test harness that omits security filters, and a Flyway repair that changes history while leaving schemas different.
Java 17 · Maven · Disposable H2 databases · No Docker required
A bounded compatibility exercise using MockMvc, loopback HTTP, and H2. Results apply to the included fixture and pinned versions; they do not benchmark an AI agent or a production database.
Choose your next step
01
Set up an agent
Start with the repository, JDK, permissions, and a task you can verify.
Java developer guide → 02Check what actually ran
Inspect test discovery, assertions, and the security filters behind a green result.
Test discovery guide → 03Plan an upgrade
Map the JSON, security, configuration, and database contracts your migration must preserve.
Spring Boot migration map →Explore by Category
Latest Articles
View all →Spring Boot 4.2 Redis: Why database=5 Really Meant db0 (2026)
On Spring Boot 4.1.2, spring.data.redis.database=5 binds correctly, but master/replica connections are built for db0. I ran 12 cases against 4.2.0-RC2.
Read moreSpring Boot 4.2 Properties Migrator: Four Gaps That Stay Silent
Tested spring.properties.migrator.fail in 4.2.0-RC1: on-error skips renamed keys, @PropertySource is invisible, and typos stay silent.
Read moreAFTER_COMMIT Is Not Durable Delivery: A Spring Outbox Checklist
Separate transaction timing from notification durability. Design an outbox with retries, idempotency, crash recovery, and failure-path verification.
Read moreSpring Boot IDOR: Enforce Ownership on Every Order Query
Fix object-level authorization on order lookup, listing, and search. Parameterized SQL is not an ownership check; verify rejected access too.
Read moreHibernate 7 Migration: Check Schema, Query Types, and Time Values
Verify a Hibernate upgrade against existing schema and data. Separate naming, native-query mappings, temporal semantics, and performance checks.
Read moreFollow the Java and AI Guides
Subscribe for new Java examples, coding-agent workflows, and revisions to the verification guides.