New Software Engineering papers from https://t.co/vxDuY4St9Z: design tools, software metrics. Thank you to arXiv for use of its open access interoperability.arxiv.org/list/cs.SE/new WorldwideJoined April 2010
Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models
Mehmet Iscan
arxiv.org/abs/2606.16999 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙲𝙻 𝚌𝚜.𝙻𝙶]
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
Muhammad A. A. Pirzada, Julian Parsert, Weiqi Wang, Konstantin Korovin, Lucas C. Cordeiro
arxiv.org/abs/2606.16886 [𝚌𝚜.𝚂𝙴]
Beyond Models: Reflections on Engineering AI-enabled Systems in a Project-Based Course
Amir Mashmool, Kishan Ravindra Sawant, Mojtaba Shahin, Nico Hochgeschwender, Rainer Koschke
arxiv.org/abs/2606.16842 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸]
Towards LLM Accelerated Rapid Reviews for Software Tool Discovery – Case for Log Anomaly Detection
Jesse Nyyssölä, Hamza Bin Mazhar, Alexander Bakhtin, Matteo Esposito, Nana Reinikainen, Yuqing Wang, Ying Song, Davide Taibi, Mika Mäntylä
arxiv.org/abs/2606.16839 [𝚌𝚜.𝚂𝙴]
No Resource, No Benchmarks, No Problem? Evaluating and Improving LLMs for Code Generation in No-Resource Languages
Alessandro Giagnorio, Alberto Martin-Lopez, Gabriele Bavota
arxiv.org/abs/2606.16827 [𝚌𝚜.𝚂𝙴]
Reference Architecture for Metadata-driven Services to Promote Reusability in Software Systems
João F. L. Daniel, Bruno P. Romano, Xiaofeng Wang, Andrea Janes, Eduardo M. Guerra
arxiv.org/abs/2606.16692 [𝚌𝚜.𝚂𝙴]
Understanding Automated Web GUI Testing: An Empirical Study Across Exploration Strategies and State Abstractions
Chenxu Liu, Wei Yang, Ying Zhang, Tao Xie
arxiv.org/abs/2606.16650 [𝚌𝚜.𝚂𝙴]
Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems
Víctor A. Braberman, Flavia Bonomo-Braberman
arxiv.org/abs/2606.15943 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸]
Configuration Smells in AGENTS.md Files: Common Mistakes in Configuring Coding Agents
Helio Victor F. dos Santos, Vitor Costa, Joao Eduardo Montandon, Luciana Lourdes Silva, Marco Tulio Valente
arxiv.org/abs/2606.15828 [𝚌𝚜.𝚂𝙴]
3 Followers 349 FollowingInspired by AI's potential to rewrite what's impossible — breakthroughs don't wait their turn, they happen all the time, unstoppable! 🚀
9 Followers 339 FollowingDevSecOps and AI-Driven Product Engineer
Building SaaS 5x faster using AI agents, backed by enterprise-grade security.
Security Stack: Snyk / Semgrep (SAST/SCA)
119 Followers 309 FollowingBuilding smart modern web applications by day | AI Tinkerer by night.
Navigating the intersection of AI, engineering, business
and personal development. ❤️🔥
23K Followers 14K FollowingBuilding AI distribution & sales tools for founders | Get first users, leads & sales | X + Reddit workflows | @xcloserhq @belonixhq
9K Followers 11 FollowingWeather updates, forecast, warnings and information for San Francisco, CA. Sources (not affiliated with): https://t.co/pB07LsfhWa, NOAA, USGS.
21K Followers 22 FollowingNew Artificial Intelligence papers from https://t.co/gDZs9w7xd4: expert systems, theorem proving. Thank you to arXiv for use of its open access interoperability.
28K Followers 5 FollowingNew Human-Computer Interaction papers from https://t.co/y4cgEkwgTE: human factors, user interfaces. Thank you to arXiv for use of its open access interoperability.