Complex sentence: Testing and QA are known cost more than 50% of the total development of some projects; through the use of formal specifications certain testing processes may be automated leading to better and more cost-effective testing.
Split into simpler sentences: Testing and QA are known cost more than 50% of the total development of some projects. Through the use of formal specifications certain testing processes may be automated leading to better and more cost-effective testing.