Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars